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).