https://leanprover-community.github.io/mathlib_docs/analysis...

First person account of how it was disproved

https://mycqstate.wordpress.com/2020/01/14/a-masters-project...