InverseErfc[1]