A path of length is a sequence of points , ,…., with integer coordinates such that for all between and both inclusive,
either and (in which case we say the step is rightward)
or and ( in which case we say that the step is upward ).
This path is said to start at and end at . Let , for and non-negative integers, denotes the number of paths that start at and end at .
The sum is equal to