Республиканская олимпиада по математике 2013 года за 11 класс | Казахстанские олимпиады

Последовательность {an}n=1,2,\{a_n\}_{n=1,2, \ldots} определена следующим образом:

a1=1, an=a[n/2]2+a[n/3]3++a[n/n]n.a_1 = 1, ~{a_n} = \frac{{{a_{\left[ {n/2} \right]}}}}{2} + \frac{{{a_{\left[ {n/3} \right]}}}}{3} + \ldots + \frac{{{a_{\left[ {n/n} \right]}}}}{n}.

Докажите, что для всех натуральных чисел nn выполнено a2n<2ana_{2n} < 2a_n. Здесь [x][x] — целая часть числа xx, наибольшее целое число, не превосходящее xx.