A rigorous treatment of the asymptotic development of the probability density of a structure factor in P

It is shown that an asymptotic development up to order N^-2 exists for the density of the structure factor in P. An upper bound for the error is calculated.