11/25/2016, 08:55 PM
This is just the abel function which satisfies
\( \alpha(f(x)) = \alpha(x) + 1 \)
and then if \( \alpha_x(z) = \alpha(z) - \alpha(x) \)
we have
\( \alpha_x(f^{\circ n}(x)) = n \)
\( \alpha(f(x)) = \alpha(x) + 1 \)
and then if \( \alpha_x(z) = \alpha(z) - \alpha(x) \)
we have
\( \alpha_x(f^{\circ n}(x)) = n \)

