I wonder how the conjecture originally came up with 1.64 anyway, seems like a rather arbitrary number to establish a conjecture that takes decades to prove. If there was some way to actually come up with that number initially, wouldn’t that itself have been on the way to a proof?