■2^1000は10^302より大きいか? (その26)
[Q]3^1198<2^1900<3^1200であることを示せ
===================================
[A]
2^19<3^12は既知とする
2^1900<3^1200
2^19=512・1024=524288
3^12=729・729=531441
(2^19)-(3^12)=-7153
(2^19)/(3^12)-1=-7153/3^12
(2^19)/(3^12)=1-7153/531441<1-1/100
{(2^19)/(3^12)}^100<(1-1/100)^100<{(1-1/100)^100}<1/2
{(2^1900)<1/2・(3^1200)
したがって、2^1900>3^1198は証明できていない
===================================