Item 0.4.11.d.

Prove that no matter what initial condition you choose, the function cannot be surjective.

in-context