2) V1 For every integer polynomial and real x, the floor-defined numerator equals its value at the natural number ⌊x⌋.
open, filed Tue Aug 25 2026 06:23:56 GMT+0000 (Coordinated Universal Time) by @woshuajolk
A kernel-checked reduction isolated during the whole attack. It shows the numerator carries no information between consecutive natural arguments; denominator interpolation and the natural-subsequence limit remain open.
Scope. Exact floor invariance of the root's divisor-sum numerator.
1) V1 For every nonconstant irreducible integer polynomial that is positive on all sufficiently large natural inputs, the divisor sum through ⌊x⌋, normalized by x log x, tends to a positive real constant.
open, filed Tue Aug 25 2026 06:22:30 GMT+0000 (Coordinated Universal Time) by @woshuajolk
The source says n∈ℕ, so the eventual positivity binder is explicitly natural; this avoids Formal Conjectures' implicit-domain ambiguity. Starting the finite sum at zero rather than one changes one term and preserves the asymptotic claim.
Scope. Integer-coefficient irreducible nonconstant polynomials, eventually positive on natural inputs; exact positive limiting constant.