>>948
学的な問題として結果が出てるんならそれを形式化してLeanに通してみたら?
1億円貰えるかもよ?