Self-bounding function (source code)

= Self-bounding function

A nonnegative <function> $f$ of independent coordinates is self-bounding when there are coordinate-deleted versions $f_i$ such that $0\leq f-f_i\leq1$ and
$$
\sum_i(f-f_i)\leq f.
$$
These inequalities make the natural variance proxy no larger than the function itself.