convergents(1-1/2 erfc((100-113)/(15 sqrt(2))), 20)