bah je vais ouvrir la dance...
Exo 3 F 23
Mq, en utilisant f : ]1,+oo[ --> |R
x --> ln(ln(x))
que pour tout x,y de (]1, +oo[)² on a ln((x+y)/2) >= sqrt(ln(x)*ln(y))
david au secours ^^ (note : je vois pas vraiment comment on utilise la convexité de ln mais ca doit être ca
)