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