[formule] sur [formule]
[formule] mais [formule] pour tout [formule] : l'inf n'est pas atteint. Il faut la compacité du domaine (Weierstrass) pour garantir que les bornes sont atteintes.