candide (./15) :
Il est parfois plus commode d'écrire : pour tous a et b dans I, (f(b) - f(a))/(b - a) >= 0.

oui mais ça oblige à préciser que a doit être différent de b.
Bon sinon c'est strictement équivalent de mettre a < b ou a <= b de toute façon (parce que le fait que si a = b alors f(a) = f(b) est toujours vrai)