昔の人が常用対数表を作成するときに　2^54√10 < 2^47√2 < 2^53√10 からlog10 2の値を求めたって書いてあったのですが、いまいち理解できません。
どういう理屈なのでしょうか？