A lattice path from one point to another is -good if it lies completely below the line
(1)
|
Hilton and Pederson (1991) show that the number of -good paths from (1, ) to (, ) under the condition is
(2)
|
where is a binomial coefficient, and
(3)
|
where is the floor function.