We establish an exact formula for the length of the shortest permutation containing all layered permutations of length n, proving a conjecture of Gray.We establish the following result, which gives an exact formula for the length of the shortest nuniversal permutation for the class of layered permutations, verifying a conjecture of Gray [3]. Definitions follow the statement.Theorem 1. For all n, the length of the shortest permutation that is n-universal for the layered permutations is given by the sequence defined by apnq " n`mintapkq`apn´k´1q : 0 ď k ď n´1u (:) and ap0q " 0.Up to shifting indices by 1, the sequence apnq in Theorem 1 is sequence A001855 in the OEIS [6]. It seems to have first appeared in Knuth's The Art of Computer Programming, Volume 3 [4, Section 5.3.1, Eq.(3)], where it is related to sorting by binary insertion. Knuth shows there that (in our indexing conventions), apnq " pn`1qrlog 2 pn`1qs´2 rlog 2 pn`1qs`1 .This formula also shows that the minimum in (:) is attained when k " tn{2u. We refer the reader to the OEIS for further information about this old and interesting sequence.