Diketahui n3+(n+1)3>(n+2)3, maka:
n3+(n+1)3n3+(n+1)2(n+1)n3+(n2+2n+1)(n+1)n3+n3+n2+2n2+2n++n+1n3+n2+3n+1n3−3n2−9n−7>>>>>>(n+2)3(n+2)2(n+2)(n2+4n+4)(n+2)n3+2n2+4n2+8n+4n+84n2+12n+80
Karena himpunan penyelesaiannya bilangan asli, kita cek satu persatu bilangan asli untuk disubstitusikan ke pertidaksamaan di atas, sehingga:
13−3(1)2−9(1)−7−18>>00
Pernyataan yang salah, sehingga n=1 bukan penyelesaian.
23−3(2)2−9(2)−7−29>>00
Pernyataan yang salah, sehingga n=2 bukan penyelesaian.
- Untuk n=3, n=4 dan n=5 menghasilkan <0 yang merupakan pernyataan yang salah.
- Untuk n=6
63−3(6)2−9(6)−747>>00
Pernyataan yang benar, sehingga n=6 merupakan penyelesaian.
73−3(7)2−9(7)−7126>>00
Pernyataan yang benar, sehingga n=7 merupakan penyelesaian.
Untuk n seterusnya pernyataan menghasilkan >0.
Sehingga penyelesaian n untuk bilangan asli adalah 6, 7, 8, ...
Dengan demikian, himpunan bilangan asli untuk agar pernyataan tersebut menjadi benar adalah {6, 7, 8, ...}.