به نظر من اشتباهه
1- دو طرف فرض رو ضرب در 3 کنید
2-حال یک طرف از فرض با یک طرف از حکم با هم برابرند
3-برای اثبات حکم کافی است «K+1 فاکتوریل بزرگتر از 3K فاکتوریل باشد در این صورت K+1 فاکتوریل بزرگتر از 3 به توان K+1 است»
در این مرحله در پایان با با جایگذاری K=7
این گزاره بدست میاد : «8 > 3»