נניח שהטענה נכונה בעבור n = k, כאשר k טבעי כלשהו:
(1 − 122) · … · (1 − 1(k + 1)2) = k + 22(k + 1)
שלב 3 – צעד האינדוקציה: נוכיח בעבור n = k + 1
צ״ל: (1 − 122) · … · (1 − 1(k + 1)2) · (1 − 1(k + 2)2) = k + 32(k + 2)
נציב במקום (1 − 122) · … · (1 − 1(k + 1)2) את k + 22(k + 1):
📐 הנחת האינדוקציה
צ״ל: k + 22(k + 1) · (1 − 1(k + 2)2) = k + 32(k + 2)