Olympiad Number Theory · Superchallenge problem

Find the number of lattice paths from $(0,0)$ to $(7,7)$ using unit steps right or up that never rise above the line $y = x$.