Hey Dan, thank you for this contribution.

The formula you mention is the inversion of Lévy's formula (which is generally applicable to functions with f'(p)=1 for a fixed point p of f).

See e.g. the tetration methods draft, formula 2.26 (where formula 2.27 is called Lévy's formula).

The formula is known to give the regular tetration for . However it is new to apply it to . So I am really curious about your proof.

PS: for writing formulas in this forum please have a look at this post.

The formula you mention is the inversion of Lévy's formula (which is generally applicable to functions with f'(p)=1 for a fixed point p of f).

See e.g. the tetration methods draft, formula 2.26 (where formula 2.27 is called Lévy's formula).

The formula is known to give the regular tetration for . However it is new to apply it to . So I am really curious about your proof.

PS: for writing formulas in this forum please have a look at this post.