Enter results for problem 17.2.9
lim (fixpoint) =