Monotonicity of a European call price in strike
= Monotonicity of a European call price in strike
At a fixed maturity, no arbitrage makes a European call price nonincreasing in its strike because the lower-strike payoff dominates the higher-strike payoff state by state.