MathNet 2026 — Part 08 Question 173

Count the number of sequences $1 \leq a_{1} \leq a_{2} \leq \cdots \leq a_{5}$ of integers with $a_{i} \leq i$ for all $i$.