QuestionShareEvaluate the following integrals as limit of sum:$\int\limits^{\frac{\pi}{2}}_{0}\cos\text{x dx}$