log(2)>3/10を示す問題で、
2^10>10^3

と変形しているのですが、どのように変形したのですか?