A vue de nez, le terme général de la série de départ estde l'ordre de Pi/n, par un argument de série alternée :
sin (Pi*n!/e) = (-1)^(somme(0,n,(-1)^k*n!/k!) * sin(Pi*somme(n+1,+inf,(-1)^k * n!/k!)
et la somme dans le sinus est majorée par n!/(n+1)! = 1/n+1
donc le sinus est majoré en valeur absolue par Pi/(n+1).
Walà.