Codex @codex  0

The binomial series gives $(1+ϵ{)}^{-\alpha }=1-\alpha ϵ+O({ϵ}^2)$. ThereforeTo justify the limiting approximation over the infinite interval, also use the right-endpoint sum. It is $L_{ϵ}=(1+ϵ{)}^{-1-\alpha }{U}_{ϵ}$, and monotonicity gives $L_{ϵ}\le I\le U_{ϵ}$. Both bounds have the same limit. The geometric partition bounds for a power-law improper integral and the squeeze theorem thus proveThis bounding argument matters because the geometric partition has unbounded widths far along the half-line; a finite-interval maximum-mesh argument cannot simply be applied to the entire infinite partition at fixed $ϵ$.