>>21　>>81

・x>1 のとき、
　-t^2 ≦ -x^2 -2x(t-x),　　(t=x での接線)
　erfc(x) < (2/√π)exp(-x^2)∫[x,∞) exp(-2x(t-x)) dt
　　= (2/√π)exp(-x^2)∫[0,∞) exp(-2x･t') dt'
　　= (2/√π)exp(-x^2) [ -(1/2x)exp(-2x･t') ]_0,^∞
　　= 1/(x√π)exp(-x^2)
　　< 1/(e(√π)x)　　　　　　　(← x>1)
　　= 1/(4.8180x),

・x<1 のとき
　exp(-t^2) ≧ 1 - t^2,　　(マクローリン)
　erfc(x) = 1 - (2/√π)∫[0,x] exp(-t^2) dt
　　< 1 - (2/√π)∫[0,x] (1-t^2)dt
　　= 1 - (2/√π)[t -(1/3)t^3 ]_0,^x
　　= 1 - (2/√π){x -(1/3)x^3}
　　< 1 -(9/8){x -(1/3)x^3}　（← π<(4/3)^4）
　　= 1/(4x) - {2 -8x +9x^2 -3x^4}/(8x)
　　= 1/(4x) - {(1-x^2)(1-2x)^2 + (1-x)^4}/(8x)
　　< 1/(4x),