x<y olsun. Önce eşitsizliğin her iki yanına y ekleyelim.x+y<2y
olur. Şimdi de her iki yana
x ekleyelim:
2x<x+y
olur. İki eşitsizlik birleştirilirse
x<x+y2<y
bulunur. Demek ki iki reel sayı arasında başka bir reel sayı daima mevcuttur.
x+y2 sayısı sayıların Aritmetik ortası (kısaca AO diyelim) olduğundan , sayılar eşit verildiğinde
x=y=AO olmalıdır.