x/2 erfc((x-10)/(2.5*sqrt(2))) maximum between 5 and 10