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 \( b=e^{1/e} \). However it is new to apply it to \( 1<b<e^{1/e} \). 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 \( b=e^{1/e} \). However it is new to apply it to \( 1<b<e^{1/e} \). So I am really curious about your proof.
PS: for writing formulas in this forum please have a look at this post.
