What are the three hypotheses required to apply the Dominated Convergence Theorem in this calculus-level presentation?

The DCT justifies exchanging the definite integral over $[a,b]$ with the infinite summation, allowing term-by-term integration. Specifically, it establishes that $\int_a^b \sum f_n(x)\,dx = \sum \int_a^b f_n(x)\,dx$.

Conditions: The previously stated convergence, domination, and finite-integral conditions are assumed to hold.; The summation is over the sequence of functions $f_n$.; The integration is over the closed interval $[a,b]$.

The integral is computed by substituting the Maclaurin series for $\cos x$, using the DCT to interchange the sum and integral, integrating each monomial term using the power rule, simplifying the factorial denominator, recognizing the resulting series as the sine series, and evaluating it at the endpoints $0$ and $\pi/2$.

Conditions: The integration interval is $[0,\pi/2]$.; The cosine power series is $\cos x = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!} x^{2n}$.; The DCT is applicable because the series terms are dominated by $g(x)=1$ on $[0,\pi/2]$.

The sum and integral can be interchanged because the Dominated Convergence Theorem applies. The terms of the cosine power series are bounded in magnitude by $1$ on the interval $[0,\pi/2]$, making the constant function $g(x)=1$ a valid dominating function with a finite integral over the interval.

Conditions: The integration interval is $[0,\pi/2]$.; The series terms are $\frac{(-1)^n}{(2n)!}x^{2n}$.; The dominating function is $g(x)=1$.

The example is included to demonstrate that the domination hypothesis alone is insufficient if the dominating function's integral diverges. It serves as a warning that if the finite-integral condition is not met, the desired interchange of integral and sum may fail.

Conditions: The example is presented as a warning illustration on the interval $[0,\infty)$.; The function $e^{2x}$ dominates $e^x$, but $\int_0^{\infty} e^{2x}\,dx$ diverges.