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.