>>114
>>50は2008の特殊な性質じゃなく、2008を何に置き換えても成り立つ。
証明にはa_k=[n^(1/k)]とするとlog_{a_k+1} n＜k≦log_{a_k} nになることを使う。