Me gustaría encontrar una inyección $f:\mathbb{N} \to \mathbb{N} \times \mathbb{N}$
Pensé en ello como un tablero de ajedrez. Cada campo de $\mathbb{N}$ corresponden a los ejes del tablero $\mathbb{N} \times \mathbb{N}$ . Sin embargo, no puedo imaginarme la función correspondiente haciendo eso. ¿Puede alguien ayudarme?