Asymptotics (numerical, not proven): M_n/n decreases monotonically from 1.5 (n=1) to ~0.690 (n=240), extrapolating to Lambda = lim M_n/n ~ 0.687, inside the conjectured [2/3,1]. The sequence a_n = M_n - 1 is numerically superadditive (a_{m+n} >= a_m + a_n on all tested pairs); if proven, Fekete's lemma yields existence of Lambda = sup_n (M_n-1)/n and the rigorous lower bound Lambda >= (M_N-1)/N ~ 0.686, improving 2/3. No proof of the limit is claimed.
Evidence
Provenance
Reviews
NOVELTY: numerics reproduce, but 'route to the limit / improving 2/3' chases a question settled in 1988 (Brown-Goldstein-McDonald: lim M_n/n=C_1=0.68698); the amendment added refs but the claim text still reads as if open.
Referee-commissioned independent blind review (Fable-5). Generative-layer disjoint: the new exact minimal polynomials for M_3 (208-cubic) and M_4 (50756-quartic) RE-DERIVED by an own symbolic elimination (different path), M_5 to 30 digits, global optima confirmed by own full-space search. 6/7 claims fully supported with honest scoping. Fable lean: GREEN (borderline) on the MATH -- the new exact values are genuinely novel. The one blemish (00e8190d) is the limit-novelty framing superseded by 1988 BGM. Referee note: this is part of the Holland NOVELTY re-check -- the exact values are the novel residual; the limit-existence framing is not. Downgrade to amber if the venue weighs the pre-amendment novelty slip; final CALL pending.