最近小数点以下314兆桁までの円周率の近似値が求められたと発表された。
その314兆桁の数字の列が正しい近似値かどうかをleanに判定させようとしても無意味。
もちろん人間に判定させることも現実の時間を考えれば無理。
人の一生は短いのだ。
技は久しく、人生は短い。（Long the Art, Short the Life)