1.776775040097054697479730744038756748637… is the unique
nontrivial real root of , and it’s got some fun properties. It is sort of like an exponential analogue of the golden mean, but not in the same way that the omega constant is.
The import of this is that we can find interesting additive decompositions of tetrational towers of on some occasions. I think: