What exact interchange does the DCT justify here?

The three hypotheses are: (1) a sequence of functions $f_n$ converges to a function $f$ on the interval $[a,b]$; (2) there exists a dominating function $g$ such that $|g(x)| \ge |f_n(x)|$ for all $n$ and all $x \in [a,b]$; and (3) the integral of the dominating function over the interval is finite, meaning $\int_a^b g(x)\,dx < \infty$.

Conditions: The theorem is presented in a calculus-oriented form rather than a full measure-theoretic proof.; The interval $[a,b]$ is a closed, bounded real interval.

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.