NB. F is entanglement of formation of ρ AB i . e . F ( ρ AB ) = lim n → ∞ k min n
D is entanglement of distillation of ρ AB ie D