FirstDescent on Permutation

The smallest descent position, or 0 when p is increasing.

On Permutation

Called as CombinatorialStat(x, "FirstDescent"). The head's page has its examples.