面白い問題教えて

このエントリーをはてなブックマークに追加
291132人目の素数さん
log(10)/log(2)≒m/n となる m/n を連分数近似でとればいいんじゃないの。
連分数近似なら、交互に上から下からと近づくので、ひとつおきにとれば、
0<m/n-{log(10)/log(2)}<(1/n)^2
が成り立つでしょ。