Claims

../

2026_07_13_kwon: Sangyoon Kwon's 2026 manuscript proves that S_n(alpha)/log n, for alpha uniform on (0,1), converges in distribution to the centered Cauchy law of scale 1/(2 pi), answering the question yes with an explicit limit.

2026_07_21_wang: Shouqiao Wang's 2026 preprint and Lean 4 proof: the normalized fixed-start sawtooth sum tends in law to the centered Cauchy law of scale 1/(2 pi); a port of the Lean proof was built and audited by this corpus, so accepted.

---