שינויים
/* סעיף א */
כעת נוכיח באינדוקציה שהיא מונוטונית עולה:
1) מונוטונית עולה: צריך להראות ש <math>a_{n+1}\geqa_ngeq a_n</math>
עבור: <math>n=1</math> זה אכן נכון כי
<math>a_2=1+\frac{1}{2}=\frac{3}{2}>1=a_1</math>
נניח שהטענה הכונה עבור <math>n</math> כלומר: <math>a_{n+1}\geqa_ngeq a_n</math>
נוכיח עבור <math>n+1</math> כלומר נוכיח כי