i^i isn't unique right? The "let x = π/2" could very well have been "let x = π(4k+1)/2" for any integer k.