User blog comment:Mh314159/FOX notation/@comment-35470197-20191204015153/@comment-35470197-20191205005014

> I don't think I agree with "f(x) is the strongest below f(x)."

Oops, this is a typo of "f(x) is the strongest below f(x)". Then is my explanation xconsistent for you? The point is that f(x) diagonalises the sequence (f(x))_n of functins, but the sequence is bounded by f(x).