صيغة أويلر
من أجل "n" &gt; 0, يمكن الاستعانة بالاستنتاج الاستقرائي. عند "n" = 1, تتحقق صحة الحل بشكل بديهي من صيغة أويلر. يفترض أن يظل الحل صحيحا لأي عدد طبيعي، "k". أي:formula_3