Je pense que si on veut pas se faire c... avec des problèmes de signe (je pense pas que ce soit le but ici), y'a qu'à dire que f et g sont strictement positive sur [a,b] (en les supposant uniquement >=0 et non identiquement nulles, on pourrait avoir le produit qui est nul). Avec >0, on est peinard : tout est >0.
Sinon, ta majoration me semble plus que louche : je te rapelle que, pour majorer un quotient, il faut majorer le numérateur et
minorer le dénominateur !!!
mais la majoration, y'a quand même pas de gros problème : il suffit d'écrire que
\leq ||g||_\infty\times g^n(t))
pour conclure que

Par contre pour la minoration, ça me semble plus coton.
Perso, j'aurais tendance à essayer la même chose que pour la majoration, c'est à dire que je prendrais bien un [TEX]\alpha0.
Donc ça marche, mais y doit y avoir plus simple...