■2^1000は10^302より大きいか? (その41)
[Q]6^500<2^1300<6^503であることを示せ
===================================
[A]
256=2^8>3^5=243
2^13>6^5
2^1300>6^500
256・2^5=2^13>6^5=243・2^5
2^13-6^5=13・2^5
(2^13)/(6^5)-1=13・2^5/6^5
(2^13)/(6^5)=1+13/243<1+1/10
{(2^13)/(6^5)}^100<(1+1/10)^100<{(1+1/10)^10}^10<3^10
{(2^1300)<3^10・(6^500)
したがって、2^1300<6^503は証明できていない
===================================
(2^13)/(6^5)=1+13/243<1+1/18
1+1/19<(2^13)/(6^5)<1+1/18
(1+1/19)^100<{(2^13)/(6^5)}^100<(1+1/18)^100
(1+1/19)^100={(1+1/19)^19}^5(1+1/19)^5>2^5・24/19」
{(1+1/18)^18}^5・(1+1/18)^10<{(1+1/18)^18}^5・(1+1/18)^10<3^6
2^5<{(2^13)/(6^5)}^100<3^6
2^5・(6^500)<(2^1300)<3^6・(6^500)
{(2^1300)<6^3・(6^500)=6^503に至らない
{(2^1300)<6^4・(6^500)=6^504にはなっている
===================================
もし
{(1+1/18)^18}^5・(1+1/18)^10<{(1+1/18)^18}^5・(1+1/18)^10<e^6
を使うことができるとしても
e^2〜2.7^2=7.29
6^3<e^6
より証明には至らない。1/19、1/18が大きすぎることがその原因になっている
===================================