KZ-MO 2004 Problem 3

Does there exist a sequence $\{a_n\}$ of positive integers satisfying the following conditions: $a)$ every natural number occurs in this sequence and exactly once; $b)$ $a_1 + a_2 +... + a_n$ is divisible by $n^n$ for each $n = 1,2,3, ...$ ?