RB_CH01_Q040. Prove integral of e^{-x^2}