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