>>394
底の2は省略する。
3log10=log1000＜log1024=10 だから、log10＜10/3=3.33333‥

天下り式になるが、log10の実際の値は3.3219281くらいだから、
あとは 3.25＜log10 が示せれば、所期の目的は達成できる。
しかしこの、下から押さえる上手い方法が思いつかん。
範囲の縛りはかなり緩いように見えるんだが‥。