I have a feeling there is no closed-form equasion for a variable number of "levels" of such for loops. There should definitely be a recursive one, however. Would be interesting to define a new notation for such recursive forms.