[math-fun] a(n) is the n-th integer with digit sum = n