>>67
いくらPCで計算したって証明にならない
ってことが理解できないのかな?

もしかして数は有限個しかないと思ってる?