\mathop{\mathrm{card}}\mathrm{Inj}(\mathbb{N})=\mathbf{c}