Annyira nem vészes.
(i)-ben belátja, hogy igaz k=7 esetén
(ii)-ben belátja, hogy k+1-re igaz; a lényeg csak annyi, hogy mindig valami kisebbet ír fel, mint a kifejezés (nem vele egyenlőt) és végül eljut oda, ahova akart (k+1 mindig nagyobb lesz, mint 3, így 3-at írva a kifejezés biztosan kisebb)
(iii)-ben csupán egyesíti a két állítást: igaz k-ra és k+1-re (ebben az indukcióban a k-ra teljesülést is igazolnunk kellett)
[ Szerkesztve ]
Ubuntu MATE 20.04, hobbi cayenne termesztő