int 3Exp[-x^2] from 5 to infinity