Category:Definite Integral of Constant Multiple of Real Function