Sağlayan 2 adet değer olsun.sağladığı en küçük değer $a_i$ de elde edilsin.
$a_i\ge \dfrac{a_0+...+a_i-1}{i-1}\ge a_{i-1}$ ifadesini yazarsak gerekli düzenlemelerden sonra
$a_i.i\ge a_0+...+a_i$ elde ederiz. Yani
$a_i\ge \dfrac{a_0+...+a_i}{i}$ elde ederiz ki bu da bir sonraki terimin sağlanmayacağını ifade eder $a_{i+1}\ge a_i$ olduğu için $a_{i+1}\ge \dfrac{a_0+...+a_i}{i}$ sağlanacağından aynı işlemleri devam ettirip bir daha aynı ifadeyi sağlayan bir $a_j$ sayısı bulunamayacağını gösterebiliriz.Bu ilk bölümün ispatı.