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