自然数nに対して
(n * log2(3, 2))の小数部分をx(n)とする

ある定数cを使って
x(n) > c / n
と出来ることを示せ、または出来ないことを示せ