leastfixedpoint

Archived tweet #9810 from the @leastfixedpoint Twitter Archive
@doitwithalambda Yeah, that's the one! (Still an open question how to treat R(-5.1) and R(-5.5).) Not sure of its proper name, but it's great for display purposes precisely because it's taught to kids in primary school.