A tiny #mathsky note on conditional expectations. I'd previously seen two standard existence results of different strengths: a) For square-integrable RVs (L2) via a super easy Hilbert space argument. b) For integral RVs (L1, a bigger class) via Radon-Nikodym—harder! But (a) can actually prove (b)!