Stars and Bars
How many solutions in nonnegative integers does x₁ + x₂ + x₃ + x₄ = 10 have?
Related problems
Source: The stars-and-bars argument, popularised by William Feller, 'An Introduction to Probability Theory and Its Applications' (1950). Statement written for AxiomIQ.