Bonjour,
Que le DM soit rendu ou non cela importe peu car cette notion de majoration est très présente dans les exercices et est très présente dans la culture mathématiques (même dans la recherche actuelle, il n'est pas rare que le soucis vienne d'une majoration introuvable ou d'une majoration qui empêche d'effectuer la résolution par exemple).
Donc ici, on a bien F(x)>0 pour toutes les valeurs de x et tu as la bonne majoration d'après tous les calculs que nous avions déjà fait.
Maintenant, que vaut F(x) ? Et du coup, ne pourrais-tu pas isoler le Sin(x) d'un côté de l'inégalité ?
Bon courage!