[2008^(1/2)] + [2008^(1/3)] ... + [2008^(1/2008)] = [log_2(2008)] + [log_3(2008)] + ... + [log_2008(2008)]
を証明せよ。[]は整数部分を表す。