Write and use the product measure . For , the conjugate exponents are and . Factor the utility integrand as
The Holder inequality on this product measure gives
Divide by to obtain the Hölder bound for discounted CRRA consumption:
For a finite right side this is ordinary Hölder; on the infinite measure space one can first truncate time and then pass by monotone convergence theorem. If and , the bound is valid but uninformative. If , the budget forces almost everywhere, so the utility integral is zero; handle this separately instead of writing an undefined .
When is finite and the bound is attained, equality requires full budget use and . This is the equality pattern of Hölder, not an assertion that every market can finance that process.