Seja K:ℜ → ℜ uma função real definida por f(x) = x² − Πx0. Sejam também a, b, c e d números reais tais que:
A relação de ordem, no conjunto dos reais, entre as imagens f(a), f(b), f(c) e f(d) é: