Если имеется оценочная функция, причём желательными значениями являются неотрицательные, и известно, что для n испытаний функция достаточно достоверно даёт неотрицательные значения, то всегда найдётся m > n, такое, что для m испытаний функция обязательно даст весомое количество отрицательных значений.
