C (/?«)=! COS

et, en particulier,

C{noL) =icosD =:o.

De plus, /ia<-- En effet, l'égalité

montre que, si x est compris entre - et ir, la fonction C(x) est négative. Or, pour toutes les valeurs dep inférieures à /i,

G (p(x) = cos/? — > o;

donc aucun des termes de la suite

ne peut être compris entre - et i:, et, comme o <[ a «< -> aucun de ces

termes ne peut surpasser -

Ainsi /ia< -; donc, puisque C(/ia) = o, c'est que /^a = -, et, par

conséquent,