cos plp) > 2 — (! -^ cosp/pt

parce que le premier membre renferme tous les termes du second plus d'autres termes positifs. Mais on a dans celte inégalité (1 -*-cos(3/pi) > e; on en tire donc

l'^ <-l'^(\^ cos plp),

tu<y Pi ^ p<v P

ei, comme le second membre a une valeur finie pour y infini quelque petit que soit z, le théorème est établi.