The LeastFixedPoint of a function f is the smallest x such that f(x) = x