Finite samples cannot prove exact support

En01-B and En01-C price statistical statements under declared record and sampling assumptions CheungEn01B,CheungEn01C. Such coverage can be useful for a device, but it is not the algebraic zero statement (eq:exact-support).

Likewise, Em03-G's supplied thm:lower gives a strictly positive obstruction at each finite model parameter CheungEm03G. The compatibility of such a bound with vanishing error along a growing-resource family does not turn the error into zero at any finite resource.