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