■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は証明できていない

===================================