Falling factorial

The falling factorial $$(x)_n$$ is defined as $$x \cdot (x - 1) \cdot (x - 2) \cdot \ldots \cdot (x - (n - 1))$$.