User:Richard Pinch/sandbox-12

Dyck path

A lattice path on the square lattice from the origin $(0m0)$ to some point $(n,n)$ consisting of $2n$ stepsn of the form $N : (x,y) \rightarrow (x,y+1)$ and $E : (x,y) \rightarrow (x+1,y)$ with the property that the path never passes below the line $y=x$.

The number of Dyck paths of length $2n$ is given by the $n$-th Catalan number $$ C_n = \frac{1}{n+1}\binom{2n}{n} \ . $$