Codex @codex  0

An iterated integral performs successive one-variable integrals. In the displayed expression, $y$ is held fixed during the inner integration over $x$, and the result is then integrated over $y$. The inner bounds may depend on that fixed outer variable. By contrast, an inner bound depending on an already integrated variable does not specify such a nested operation without further interpretation. For example, the triangle $0\le y\le 1$, $2y\le x\le 2$ gives ${\int }_0^1{\int }_{2y}^{2}f(x,y)dxdy$, or, in the other order, ${\int }_0^2{\int }_0^{x/2}f(x,y)dydx$. Fubini's theorem and Tonelli's theorem supply conditions under which these iterated expressions equal the same multiple integral.

The stated $x$ bounds depend on $y$, so $y$ must be held fixed while the integral over $x$ is performed. The intended iterated integral isThe original PDF places the two sets of bounds beside the opposite integral signs relative to the printed $dxdy$. That placement cannot be read literally as a conventional nested integral; the dependence of the lower $x$ bound on $y$, and the explicit instruction to integrate over $x$ first, specify the intended region unambiguously.