The proofs in [1]}, [2]} actually show that not only the escaping
set \(\mathcal {I}(f)\)  is non-empty, but that this in fact holds for a subset \(\mathcal {A}(f)\)  of \(\mathcal {I}(f)\) 
called the fast escaping set.
This set was first considered in [3]}.
