For a deterministic , the positive part vanishes for , so direct integration gives
At both sides vanish. Applying this pointwise to the nonnegative random variable proves the power payoff static call representation
By Tonelli theorem, the corresponding moment identity is
including the possibility that both sides are infinite. No higher-moment assumption is needed to interchange these nonnegative integrals.
Let . The call-price decay and moment threshold follows by splitting the preceding integral at one. Since , for ,
For , the decay bound gives
The power payoff static call representation therefore yields
The case is the given finite first moment. The strict endpoint matters: a Pareto distribution with for has for , but its moment of order is infinite. Thus the stated decay condition does not generally imply the endpoint moment.