Все-таки нашел формулу для суммы кубов первых n натуральных чисел:
(1/4)*n^2*(n+1)^2,
отсюда, конечно, тоже все следует, но способ A_nn лучше.