Bonjour,
Dans une démonstration, cela m'aiderait beaucoup de pouvoir affirmer ceci (nombres réels) :
(a <= x <= b) => (lxl <= max ( lal , lbl ) )
J'ai essayé de distinguer les cas où a et b sont tous les deux positifs, tous les deux négatifs, a négatif et b positif, mais c'est brouillon.
Comment le rédigeriez-vous proprement ?
Merci
-----