That trickled into the tunnels at Lincoln Financial Field after the clock hit all zeroes and into the Cowboys’ locker room, where there was screaming and loud music playing on a speaker as soon as the game ended.
—
Nick Harris,
Fort Worth Star-Telegram,
27 Oct. 2026
The first version, dated September 30, 2026, claimed to show that all nontrivial zeros must be between 1/8 and 7/8, and was formally verified using the Lean programming language.
Examples are automatically compiled from online sources to
show current usage.Read More
Opinions expressed in the examples do not represent those of Merriam-Webster or its editors.
Send us feedback.