The PPO Clipped Surrogate Objective & Pessimistic Lower Bound Proof formalizes how Proximal Policy Optimization transforms TRPO's second-order trust-region constraints into an efficient first-order gradient objective; TRPO establishes monotonic policy improvement bounds
η(π)≥Lπold(π)−C⋅DKLmax(πold,π) via conjugate gradient inversion of Fisher Information Matrices; PPO-Clip substitutes this with a pessimistic lower bound:
LCLIP(θ)=E^t[min(rt(θ)A^t,clip(rt(θ),1−ϵ,1+ϵ)A^t)] where
rt(θ)=πθold(at∣st)πθ(at∣st); the
min operator creates a pessimistic lower envelope that bounds reward incentives when advantages
A^t>0 and suppresses punitive gradient spikes when
A^t<0, guaranteeing numerical stability using pure first-order SGD.