By showing that the symmetrically transformed Bessel kernel admits a full
asymptotic expansion for the large parameter, we establish a hard-to-soft edge
transition expansion. This resolves a conjecture recently proposed by
Bornemann.Comment: 24 pages, 5 figure