To totally eliminate the possibility of divergent trajectories, one must show that there are no wandering domains in the Fatou set.

Such proofs exist in general for rational maps,
so it's not inconceivable for our f.