  We provide an elementary proof of a formula for the number of northeast
lattice paths that lie in a certain region of the plane. Equivalently, this
formula counts the lattice points inside the Pitman--Stanley polytope of an
n-tuple.
