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