Archimedes comments on Redux: (∃ Stochastic Natural Latent) Implies (∃ Deterministic Natural Latent)

[Archimedes]

I think I have a Lean proof that C > 1.93777676

[Satya Benson]

I see, yeah—I wonder if it’s 2.

[Satya Benson]

I’ve got it up to 1.96