[2014] The secondary fixpoint issue.

[sheldonison]

....
Seems unlikely that sexp contains none of these n-ary fixpoints ?!

And as for the functional equation f(x+1) = exp(f(x)) + 2pi i that is on another branch. So that does not seem to help.

Conjecture: if \( \text{sexp}(z)=L \), than for some positive integer n, there is a non-zero integer m such that \( \text{sexp}(z-n)=L+2m\pi i \)

This would apply for L equals any fixed point of exp(z) and any finite value of z. This conjecture would apply to both the Kneser solution, and the secondary fixed point solution. I think it can be proven by showing for these two solutions, that sexp(z-n)<>L for large finite values of n.