How much does pairing actually buy? The role of correlation

Two strategies trade the same $n$ days with per-day return correlation $\rho$ and equal variance $\sigma^2$.

Derive how much pairing shrinks the standard error of the mean difference as a function of $\rho$, when pairing actually hurts, and what you give up in degrees of freedom.