Proof of point 8 in the rules

Since 0 <= a < b this implies that ab < b²

and since 0 <= a and a < b this implies that a² < ab.

Hence we get a² < ab < b².

Therefore a² < b²

Return to the tutorial