Corrigé - CCP 2016 - CPGE Dupuy de Lôme - Lorient

Fixons x ? R, la fonction t ?? ? cos (x sin(t))dt est continue sur [0,?], donc y est intégrable. Ainsi, f est bien définie sur R.