Uočimo da s lijeve strane imamo , a zdesne . Zato sigurno možemo ocijeniti veličinu u odnosu na .
Naime, trivijalno imamo pa vrijedi odnosno Sada se iz ovih jednadžbi lako dobija da vrijedi (uvjerite se sami).
Kako dijeli lijevu stranu jednadžbe, onda mora dijeliti i desnu stranu jednadžbe, odnosno, Naravno, kako je , znamo da pa imamo , to jest, za neki prirodni broj . Ako to vratimo u početnu jednadžbu, dobivamo Nakon manjeg sređivanja, dobivamo odnosno, kako dijeli sve pribrojnike osim , mora dijeliti i .
Sada ostaju dva slučaja, ili .
Ako je , dobivamo , odnosno, kako je , Rješavanjem ove nejednadžbe, vidimo da nema rješenja (provjerite).
U drugom slučaju, imamo pa vrijedi te za što se opet lagano provjeri da nema rješenja (provjerite!!).
Naposljetku, kako smo završili sve slučajeve, znamo da jednadžba nema rješenja.
Uočimo da s lijeve strane imamo $\approx p^2$, a zdesne $\approx n^3$. Zato sigurno možemo ocijeniti veličinu $p$ u odnosu na $n$.
Naime, trivijalno imamo $p > p-1$ pa vrijedi
\[ (p-1)^2 < \underbrace{p(p-1)}_{=2(n^3-1)} < p^2 \] odnosno
\[ p - 1 < \sqrt{2(n^3-1)} < p .\] Sada se iz ovih jednadžbi lako dobija da vrijedi $p > 2n$ (uvjerite se sami).
Kako $p$ dijeli lijevu stranu jednadžbe, onda mora dijeliti i desnu stranu jednadžbe, odnosno, \[p \mid 2(n^3-1) = 2(n-1)(n^2+n+1).\] Naravno, kako je $p > 2n$, znamo da $p \nmid 2(n-1)$ pa imamo
$p \mid n^2 + n + 1$, to jest,
$n^2 + n + 1 = kp$ za neki prirodni broj $k$. Ako to vratimo u početnu jednadžbu, dobivamo \[p - 1 = 2k(n-1) \implies p = 2k(n-1) + 1 \implies n^2 + n + 1 = kp = 2k^2(n-1) + k. \] Nakon manjeg sređivanja, dobivamo
\[(n-1)(n+2) + 3 = 2(n-1)k^2 + k,\] odnosno, kako $n-1$ dijeli sve pribrojnike osim $k-3$, mora dijeliti i $k-3$.
Sada ostaju dva slučaja, $k = 3$ ili $n - 1 \leq k-3$.
Ako je $n - 1 \leq k -3$, dobivamo $k \geq n + 2$, odnosno, kako je $p > 2n$,
\[ n^2 + n + 1 = kp > 2n(n+2). \] Rješavanjem ove nejednadžbe, vidimo da nema rješenja (provjerite).
U drugom slučaju, imamo $k = 3$ pa vrijedi $n^2 + n + 1 = 3p$ te $p = 6(n-1) + 1$ za što se opet lagano provjeri da nema rješenja (provjerite!!).
Naposljetku, kako smo završili sve slučajeve, znamo da jednadžba nema rješenja.