erfc⁡z=2π⁢∫z∞ⅇ-t2⁢ⅆ⁡t=1-erf⁡z,