Bonjour;
La fonction g : x-->exp(-f(x)) est continue , strictement positive et tend vers 0 en +oo et -oo.
Il existe donc A>0 tel que pour tout x,|x|>A on ait : 0<g(x)<g(0)
et ainsi on peut écrire que : sup g = sup g/[-A,A]=g(x
0)
et il est alors facile de voir que f admet un minimum absolu en x
0 (sauf erreur bien entendu)