Bounded weak compositions (${\sum }_{J\subseteq \{0,\dots ,r\}}(-1{)}^{|J|}(\genfrac{}{}{0ex}{}{N+r-{\sum }_{i\in J}{a}_i}{r})$)

To count nonnegative tuples with ${\sum }_{i=0}^r{n}_i=N$ and $n_i<a_i$, mark violations $n_i\ge a_i$. An intersection of violations indexed by $J$ is in bijection with unrestricted tuples of sum $N-{\sum }_{i\in J}{a}_i$, by subtracting the bounds from those coordinates. Stars and bars counts this intersection; the inclusion-exclusion principle then gives the displayed formula. A negative remaining sum contributes zero.