Bonjour, je cherche sans succès un exo des mines :
soit f:[0,1]—>R de classe C1
telle que pour tout x € [0,1], f’(x)>f(x)^3.
Montrer que f(0)=<1/sqrt(2)
J’ai tenté des intégrations dans tous les sens, cherche à utiliser des inégalités du cours etc mais rien de concluant (je n’ai jamais senti avoir progressé en fait).
Une piste ?