sr, we et nur varies bo aceon Pn) Testo aeons cack bes coe anten show nat Pn) —> (a ~ 1). lawellenow ese: + PL) ts, + Plan) — PC + Pin) => Pn=2) ‘wn shoulé is work? Note at we up tom n 10 2n by sowing Pn) —> P(2n) Tenusng P(n) —> P(n—1),we aninduet backwards tom 2n tom + 1,10 ‘vey tal numbers betwee n an 2 nese) Sat the aceon. Tis own 3 lar betas don Now wereve ants rove as yt Hs ety town ative at Phi, one prove Po) —> (2) Casi pose ean. Se we assunetat P(r) sve ora n poste reas 22% > / TT 0 ais. Then vate n AM-GM means ANG ena pple enn varaties Wee sa seh ase case th 2 vases, So the secon pa fur root ao complete remains to show tat P(n} —- Pn — 1). To show ms, we take n postive eats 21,2 a a. Then notice tat Sowehave ‘aT egotn) eect eaigesicrtyod iets Scgacereythaed eeu SOA Mingo etna cgi et rok wigan ats ivgrnuenqroate trea Mae {Signo vent ation fo ah ‘eo ganrte ten Dope acto tpm feymge Ngee Vas det ese ha me .cnequaty one othe Spt eases of Jerse equity So ets approach a way. CConsiserthefincton f(x) = log x > 0. Wie cbseretnat/"(2) = =! <0. Therefore, f(x) tums auto bea concave incton (Aso netie that we can conclude f(x) is concaveusing he graph of log.) Thus, br Jensen's inqusy, we haveBy the propenty of lagarth, we have log 2 + lo, _ logay + logay +--+ + logan Tog (as a2as *-dn) oli “Thus, Suppose that ora sequence of poste eas ay wih 1 < k = ~ 1,ourin cbsewaton becomes 2 < e*! Poshinathis to our sequence aye et ee e=fhet ) (it) Now, we ony naa remember the dition of geomet ran, whist! otf the prac btwaan alts an 2st olowad by sme algae mantis, “Then we achieve = =k> mp, ‘whore mi the geomet mean. Now we can prove induction that or every postive mtgern, 7!" 2 nl anhis proc wl ep us outtoelinate the fact onthe _Seorinatorf the lstinequlty For = 1 this becomes > II, hich is tue. Then we assume he inequaltyie val for — and apy he nequaliy for = 1 ‘ad prove that rust be tue ee. Then there we 9: Get aes etwas BED as +a > BE a) a > -(2k+1) Bufo neton poe, we hae futom ndction phe wehme wow Wk 1) 2 K.(2k+1) Hak +t) > M+ 4) BOR 1) Se HD! > (e+! + (b+ 1) > (k-+ 1 in (+1 > HB (2-1) nd (2K +1) > + Dw get (K+ 1) > (RL Batre = Owe aod ow at er’ eu ait becomes (+1) (+) ane watt ove Now we can ete nequly 1" > nil hich ail for ner pose ger Some perc mnpane canbe mae ‘fone ‘where ma isthe athmetic mean, Now, a geometic interpretation onthe real ine makes the resus easy to understand A> my > 0 => ty © (0,4) k>m, >0 => my (0,4 When m equals imi, my can enlybe smaller than mp. Otherwise, bath equal each ather Hence, the inequality we were searching for: my Sas