integral from 0 to infinity of 2e^(-2x) dx