Primjenom nejednakosti između aritmetičke i harmonijske sredine na brojeve p1+p2, p2+p3, …, pn−1+pn, imamo
n−1(p1+p2)+⋯+(pn−1+pn)≥p1+p21+⋯+pn−1+pn1n−1.
Sređivanjem slijedi
i=1∑n−1pi+pi+11≥i=1∑n−1(pi+pi+1)(n−1)2.
Primijetimo da vrijedi
i=1∑n−1(pi+pi+1)=p1+2p2+⋯+2pn−1+pn=2i=1∑ni−p1−pn=n(n+1)−p1−pn.
Kako su p1,pn različiti brojevi iz skupa {1,2,…,n}, imamo
n(n+1)−p1−pn≤n(n+1)−1−2=n2+n−3.
Slijedi
i=1∑n−1pi+pi+11≥n2+n−3(n−1)2.
S druge strane imamo
n2+n−3(n−1)2=n+2n−1⋅n2+n−3(n−1)(n+2)=n+2n−1⋅n2+n−3n2+n−2>n+2n−1,
čime je tvrdnja zadatka dokazana.