روی n استقرا میزنیم. حکم برای n=1,2 درست است فرض کنید حکم برای n=k برقرار باشد. پس اگر برای اعداد
داشته باشیم :
آنگاه داریم : (ما a_k و a_k+1 را طوری انتخاب میکنیم که ضربشان کمتر از 1 باشد.)
پس داریم :
پس باید ثابت کنیم :
یعنی باید ثابت کنیم :
که این هم با توجه به این که
کمتر از 1 است نامساوی بالا درست است.
امیدوارم جایی رو سوتی نداده باشم.