Description: The square function is nondecreasing on nonnegative reals. (Contributed by NM, 18-Oct-1999)