KöMaL 2020 B5141

Prove that $\sum_{i=0}^n \sum_{j=i}^n \binom{n}{i} \binom{n+1}{j+1} = 2^{2n}.$

Official text KöMaL. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.