Local supermartingale
= Local supermartingale
A <local supermartingale> becomes a <supermartingale> after stopping along an increasing sequence of <stopping times> tending to infinity. Localization allows an <Itô formula> comparison before global integrability is established. Additional lower bounds or uniform integrability are needed to pass from the local comparison to an unrestricted expectation inequality.