Here's a constructive proof that does not rely on the law of excluded middle: ht...

		smallnamespace on July 9, 2019 \| parent \| context \| favorite \| on: The Riemann Hypothesis Says 5040 Is the Last Here's a constructive proof that does not rely on the law of excluded middle: https://en.m.wikipedia.org/wiki/Square_root_of_2#Constructiv...