Lipschitz density height bound (source code)

= Lipschitz density height bound
{c}

For a <probability density function> $f$ on $\mathbb R$ with <Lipschitz bound> $L>0$, the triangular lower envelope $f(x+u)\geq(f(x)-L|u|)_+$ gives $f(x)^2\leq L$. If $f$ is strictly positive everywhere, the inequality is strict. Equality forces the entire <probability density function> to coincide with the triangular envelope, which vanishes outside a finite interval.