Пусть a₁ < ... < aₖ — целые неотрицательные числа, t₁, ..., tₖ — ненулевые целые числа, |tᵢ| ≤ 2^{aᵢ} . Положим sᵢ = t₁ + ... + tᵢ. Предположим, что sₖ = 0, но sᵢ ≠ 0 при i < k. Следует ли из этого, что (k−1) + ν₂(t₁...tₖ) ≤ a₁ + ... + aₖ?

(как обычно, ν₂(x) для целого ненулевого числа x обозначает наибольшее целое m, для которого 2ᵐ делит x)