2 ms·

Very interesting read. I heard about this proof and who solved it, but glad to read the background of this.