La propriété est fausse :

Il existe un réel supérieur à et il existe un réel inférieur à n'implique pas l'existence d'un réel à la fois inférieur à et supérieur à