DE
D,log/f{z) —
d’où, en intégrant,
mn COS Z 2 T\ log ID > 10g — ".,
COS 2 Re ou, en faisant z, — 0,
logcosz— lim Ÿ 109 LE 1 — — |, n— # 1
(*) En groupant les termes équidistants de l’origine, on trouve
(se) à À 23
ou enfin, en groupant symétriquement les termes,
logcosz= © log 1. SA E (an +ip & Â Donc nm (0) Z 24 sé Cosz — lim Il RE =] Le 2 |° = d Fr Te ie dans rés (27 1 Fe 0 (22 + Le