We use the fact that a ≤ |a| for all real numbers a, that the square root function is an increasing function, and that Edwin