[obm-l] racionais

[Kleber Bastos]

Seja alfa um número racional. Prove que existe um único número inteiro n tal
que n<=alfa<n+1.

pensei em alfa sendo o ponto médio alfa= 2n+1/2 , ou seja racional , e dai
vejo que n é mínimo , mas como provo que n é único ?

-- 
Kleber B. Bastos