We give a detailed proof of the conjecture that the asymptotic entanglement cost of preparing a state ρ is equal to limn→∞ E f (ρ⊗n)/n where E f is the entanglement of formation.
