>>876
ふむふむ。
では、lim(A(n)Ψ_n)=A(∞)Ψ_∞ が言えれば、
|Ψ|^2=0 ⇔ |Ψ|=0 ⇔ Ψ=0
となって、n→∞での固有方程式が成り立つ、ということでいいでしょうか。