>>633
　背理法による。
　ln(2)/ln(10) が有理数だったと仮定する。
　ln(2)/ln(10) = p/q,　(p,qは自然数)
　q･ln(2) = p･ln(10),
　2^q = 10^p,
　2^(q-p) = 5^p,　(矛盾)