Question is ->I am studying research paper: A note on odd zeta values and I am unable to think how to deduce a result which the authors don't prove. This result has to be proved assuming the prime number theorem and it's on Page 12 of the paper :

Prove that $\lim_ {n\to\infty} \frac{\log(\Phi_n) } {n} =\int_0^{1} \rho_0 (t) d(\psi(t) + 1/t) $, where $\psi(t) $ = $\frac {\Gamma'(t) } {\Gamma(t) } $.

where $\Phi(n)$ and $\rho(n)$ are described in this image:

Can someone please tell how to prove this result ?

I shall be really thankful.