Paragraph

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

in-context