Bonjour

La grosse partie c'est de montrer que ta fonction est minorée

Prenons la définition de coercif : Pour tout   , il existe    tel que  

Soit  . On considère l'ensemble  . En invoquant la propriété de coercivité, que dire de cet ensemble par rapport à    ?

on peut donc dire que x est dans une boule fermée de rayon rs

x est une variable muette pour décrire l'ensemble E. C'est donc E qui est inclus dans la boucle de rayon r_S, donc en particulier E est borné.
Là, c'est presque fini : tu peux minorer ta fonction

merci