For context, the author is the notable fields medal winner Terence Tao - https://en.wikipedia.org/wiki/Terence_Tao - and finding the lower bounds for this constant has been a long running endeavor in pure mathematics - https://en.wikipedia.org/wiki/De_Bruijn%E2%80%93Newman_const...