But then ||ψn ⋅ ω − ω|| and ||ψn ⋅ ω0 − ω0|| tend to 0.
諱ははじめ永琰（えいえん）、即位後に顒琰（ぎょうえん）と改めた。