Verify

../

white_upper_bound/: Whole-proof refutation attempt and separate PASS grade for White's quantitative bound, subexponential limit and lcm comparison.

---

The accepted arguments retain their explicit classical interfaces and eventual quantifiers. They determine an upper bound and two consequences, not the sharp growth of the minimum.