Seja a função que associa, a cada número real, o menor dos números e . Assim, o valor máximo de é: