Asymptotic expansion of the hard-to-soft edge transition

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