Let be the group of permutations of the numbers (§26.2). With , is said to be an increasing subsequence of of length when . Let be the length of the longest increasing subsequence of . Then
| 32.14.1 | |||
where the distribution function is defined here by
| 32.14.2 | |||
and satisfies with and boundary conditions
| 32.14.3 | ||||
| , | ||||
| 32.14.4 | ||||
| , | ||||
where denotes the Airy function (§9.2).