>>539
証明はわからんけど、

> f(a)=\sum_{j=1}^a (-1)^j /j!\sum_{(k_1,...,k_a):k_1+...+k_j=a}1/(k_1*...*k_j).

\sum_{(k_1,...,k_j):k_1+...+k_j=a}

だな?