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