Bonjour,
le produit de cos( x / 2^n ) avec n tendant vers l'infini est sin(2n)/2n ( Briot 1849 )
Comment passer de là au produit de cos( Cste + x / 2^n ) ?
Auriez vous SVP un lien pour des limites de produits en cos(x * f(n) ) avec f fonction réelle , ( idéalement variant entre environ y =1.1x à y=0.9x ) ?
C'est pour tenter de transformer un algorithme en expression formelle.
merci
-----