A New Upper Bound on the Smallest Counterexample to the Mertens Conjecture. - John Rozmarynowycz; Seungki Kim (Exp. Math., 2026)