0 < a < b 이면 모든 양수 k에 대해서 0 < ka < kb 겠지 그러니까 0 < a×a < a×b 이고 0 < b×a < b×b 이므로 0 < a^2 < ab < b^2
마찬가지로 0 < a + a < a + b < b + b 이므로 2a < a+b < 2b, a < (a+b)/2 < b
0 < a < b 이면 모든 양수 k에 대해서 0 < ka < kb 겠지 그러니까 0 < a×a < a×b 이고 0 < b×a < b×b 이므로 0 < a^2 < ab < b^2
마찬가지로 0 < a + a < a + b < b + b 이므로 2a < a+b < 2b, a < (a+b)/2 < b