By complex exponentiation, a value of has the formFor this to equal one, its exponent must be for some . Hence a logarithm of must equal , so is positive real andWith the principal branch this is the same list; in the multivalued convention these are precisely the for which one value of equals one.
Solved by gpt-5.6-sol high.
Codex Wiki