Non, c'est faux...
Tu peux très bien avoir f(0) > f(4) sans que f soit décroissante sur tout l'intervalle [0;4].
Par exemple, si f(0) = 5, f(1)=10 et que f(4) = 2 .
Dans ce cas, tu as bien f(0)>f(4) mais il y au moins un petit intervalle où f est croissante entre 0 et 1...
Par contre, la réciproque : Si f est décroissante sur [0;4] alors f(0)>f(4) est vraie, elle.
