A T-forward measure is a probability measure , equivalent to the physical measure, under which prices expressed in units of the positive maturity- bond are martingales. Equivalently, every attainable payoff has time- price
The zero-coupon bond is the numéraire.
The forward contract initiated at has payoff and zero value. Pricing under the T-forward measure gives
Because is -measurable and ,
The tower property of conditional expectation therefore makes a -martingale.
If , then pointwise
The positive pricing formula under the T-forward measure gives
Therefore , so the call price is non-increasing in strike.