[obm-l] funções

[Faelccmm@xxxxxxx]

Olá pessoal,

Vejam a questão:

Se f :N--->N é tal que:
f(n)=n/2, se n for par ou
f(n)=(n+1)/2, se n for ímpar, 

Como provar que existem números distintos p e q tais que f(p)=f(q) ?