Rewrite the inner limit as

For any x > 0, we have the useful bounds

so that

In the limit, we have

and

Then by the squeeze theorem, the log sum converges to 1/(p + 1), so the infinite product converges to
, as suspected.
Finally,

since Hₙ - ln(n) converges to the Euler-Mascheroni constant γ.