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 . |