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