The asymptotic entanglement cost of preparing a quantum state

We give a detailed proof of the conjecture that the asymptotic entanglement cost of preparing a state rho is equal to lim(n-->infinity). E-f (rho (xn))/n where E-f is the entanglement of formation.