So ironic - was part of my final year thesis, but back in 2001. Never got near a proof. Best I got was learning about metric spaces (long forgotten) and writing a C++ program to verify examples, but as we know, waste of time against infinity.

Happy days….now I’m institutionalized as Red would put it, albeit in a different setting.