The Gromov--Guth--Whitney embedding theorem

This is an appendix to arXiv:1610.04888, “Quantitative null-cobordism”, which improves one of the main results of that paper to a near-sharp one. It is not a self-contained paper.