Lenglart's inequality (source code)

= Lenglart's inequality
{wiki=Lenglart's_inequality}