Does there exist a bijective map π:N→N\pi : \mathbb{N} \to \mathbb{N}π:N→N such that
Hidden so you can work on the problem first.