Everyone "knows" the answer is 1, but we've only been able to prove that
it's less than 10^20.