limn→∞⁡nπ⁢∫-∞∞ⅇ-n⁢(x-a)2⁢ϕ⁡(x)⁢ⅆ⁡x=ϕ⁡(a),