IMO 1988 LL VIE92

Let p \geq2 be a natural number. Prove that there exists an

IMO 1988 LL VIE92

Origin: VIE

Problem

Let p \geq2 be a natural number. Prove that there exists an integer n0 such that n0  i=1 i p\sqrti + 1 > p.