L'intégrale à calculer est impropre mais convergente, en 0, car x/sin(x) est continue en 0 moyennant le prolongement à 1 en x=0, ce qui lève l'impropreté.) En pi/2 pas de problème pour l'intégrale.
Je ferais le changement de variable u = tan(x/2), ce qui transforme l'intégrande en arctan(u)/u, à intéger de 0 à 1.
Je développe arctan(u) en série entière, c'est un résultat classique qui n'est pas à démontrer. Et qui donne le résultat après division par u et intégration terme à terme.
Pour la justification de l'interversion série/intégrale, je me contenterais allègrement de noter que, même si le rayon de convergence de arctan(x) est 1, ce qui n'assure pas a priori la convergence en x=1, la série entière arctan(x) converge encore en x=1 (majorée en v.a. par une série 1/n
2) Donc on travaille tranquillement sur [0;1], un fermé de IR, et pas de souci pour conclure avec les théorèmes de convergence sur les fermés ?
Sauf erreur énorme, toujours possible
