leastfixedpoint

Archived tweet #2904 from the @leastfixedpoint Twitter Archive
@skim Thanks for the prompt! I've done it now; see the resulting formula linked from bit.ly/pPPc3a (cc @squaremobius)