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.
I've always noted it as Sigma_loop, since it's basically the busy-beaver function for a programming language with no recursion and in which the bounds of every loop must stay fixed throughout the loop.