PermutationMin on Permutation

The smallest point p moves; infinity for the identity.

On Permutation

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