§ Intuition for why choosing closed-closed intervals of [1..n]
is (n+1)C2
- nC2 counts all intervals {[i,j]:i>j}.
- To count intervals [i,i], there are n of them, so it's nC2+n which is n(n−1)/2+n, which is n(n+1)/2 or (n+1)C2.
- Combinatorially, add a "special point
*
" to [1..n]
. If we pick a pair (i, *)
from the (n+1)C2, take this to mean that we are picking the interval [i, i]
.