maximize x*erfc(x) with 0<x