01/04/26 07:32
log(10)/log(2)≒m/n となる m/n を連分数近似でとればいいんじゃないの。
連分数近似なら、交互に上から下からと近づくので、ひとつおきにとれば、
0＜m/n-{log(10)/log(2)}＜(1/n)^2
が成り立つでしょ。
01/04/26 07:32
log(10)/log(2)≒m/n となる m/n を連分数近似でとればいいんじゃないの。
連分数近似なら、交互に上から下からと近づくので、ひとつおきにとれば、
0＜m/n-{log(10)/log(2)}＜(1/n)^2
が成り立つでしょ。