Label the edgepoints as in the sketch on the right. Since is real and positive, it equals its modulus:

(since ).

The edgepoint furthest from (in the Euclidean sense) is so .The one closest to is , so . It follows that

.

 Logarithms preserve the direction of inequalities, so .