∫0∞ⅇ-a⁢t⁢erf⁡(b⁢t)⁢ⅆ⁡t=1a⁢ⅇa2/(4⁢b2)⁢erfc⁡(a2⁢b),