 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.