Skusil by som indukciu. Pozrime sa na krok od n k (n+1).
Mame
.
Ak su vsetky, cisla rovne 1, tak tvrdenie plati.
Inak tam musi byt jedno z nich vacsie ako 1, jedno z nich mensie.
Bez ujmy na vseobecnosti nech
a
.
Z indukcneho predpokadu mame
.
Pomocne tvrdenie by malo pomoct dokoncit indukcny krok.
Je to zhruba rovnaky dokaz ako dokaz AM-GM nerovnosti indukciou uvedeny na Wikipedii.
Offline