[obm-l] (Apostol) Função Máximo Inteiro

[Otávio Menezes]

(Página 28, exercício 4) Prove que para todo real x, existe um e apenas um
inteiro n tal que x é maior ou igual a n e menor que n+1.