前半の数値を出してるとこも怪しい、コンピュータによる証明なら分かるがｗ