>>89と並んで如何にも東大がやりそうな問題

log_{10} 2の小数第3位が1であることを証明せよ。