... of pension income from a retirement lump sum, the funding analogue of Tobin's theorem has been called “the pension separation theorem” (PST) (Gay, 2010) and its mean‐variance optimality shown in Gay (2008) . But it will be clear from the nature of the PST that its funding applications are much broader than...