Concavity gives the supporting-tangent inequality
Multiply by the discount factor and use the first-order condition . This gives the pointwise marginal-utility verification of optimal consumption inequality
Apply the budget inequality from part (d) to the competing admissible strategy, and use equality for the proposed one:
The two weighted consumption integrals are finite, so their difference is integrable. Under the usual positive discount-rate assumption , the utility integrals are also integrable: for a finite upper bound , and . Integrating the tangent inequality and taking expectations therefore gives
Economically, both consumers face the same state-price budget, and the candidate spends it exactly where its discounted marginal utility equals the state price. This is utility duality with martingale deflators in its consumption form.
A positive , or another hypothesis making the infinite-horizon objectives well defined and permitting this integration, is needed. The printed question does not specify the sign of . Bounded utility alone does not ensure that an undiscounted infinite time integral exists: a bounded integrand can have both infinite positive and negative parts. Thus the conclusion is established under the standard discount convention , and also whenever the displayed objectives satisfy the stated integrability conditions; without either convention the literal infinite-horizon comparison need not be a defined mathematical expression.
This can occur within an admissible financial model, not just for an abstract bounded integrand. Take and . Choose a deterministic smooth nonnegative with successive unit-length plateaus alternating between zero and the integer , and connect them over intervals whose lengths have finite sum. Then : the high-plateau contributions sum to and the transition integrand is bounded by . Set
The bank account is a positive deterministic Itô process and , so is a state-price density. Holding bank units finances consumption with nonnegative wealth and exact budget equality. Also . Nevertheless every zero plateau contributes to the utility integral, while each sufficiently high plateau contributes a fixed positive amount. Both its negative and positive parts are infinite, so the undiscounted objective is undefined. This establishes why the missing discount or objective-integrability hypothesis is substantive.