■2^1000は10^302より大きいか? (その28)

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

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

1+1/74<(3^12)/(2^19)=1+7153/524288<1+1/73

{(3^12)/(2^19)}^100>(1+1/74)^100={(1+1/74)^74}{(1+1/743)^26}>2・769/743

{(3^12)/(2^19)}^100<(1+1/73)^100={(1+1/73)^73}{(1+1/73)^27}<9

2<{(3^12)/(2^19)}^100<9

2^1900>1/9・3^1200=3^1198

証明された

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