このページに関してのお問い合わせはこちら
面白い問題教えて
ツイート
291
:
132人目の素数さん
:
2001/04/26(木) 07:32
log(10)/log(2)≒m/n となる m/n を連分数近似でとればいいんじゃないの。
連分数近似なら、交互に上から下からと近づくので、ひとつおきにとれば、
0<m/n-{log(10)/log(2)}<(1/n)^2
が成り立つでしょ。