Sejam $\mathbb{N}$ o conjunto dos números naturais e $f:\mathbb{N}⟼\mathbb{N}$ uma função que satisfaz as propriedades:

1. a) dado qualquer $m\in \mathbb{N}$ existe $n\in \mathbb{N}$ tal que $f(n)\ge m$.
   

2. b) $A_r=\{s\in \mathbb{N};s\le f(r)\}$ está contido no conjunto imagem de $f$, para todo $r\in \mathbb{N}$. Mostre que $f$ é sobrejetora.