Mostrar por meio de um exemplo que nem todo conjunto não-vazio de números
racionais limitado superiormente tem máximo.