The number of walks with up-steps and down-steps, , that never go below zero is . Reflecting the initial segment through the first step below zero pairs forbidden walks with walks having down-steps. Setting gives the Catalan number .
New to topics? Read the docs here!