6.2 Main Theorem (Diamond 1984)
Theorem: Delegation Cost Vanishes with Diversification
Let \(R_1, R_2, \ldots\) be i.i.d. with mean \(\rho\) and variance \(\sigma^2 < \infty\), and \(B < \rho\). Then:
\[\boxed{D(n) \to 0 \quad \text{as } n \to \infty}\]
\[K + D(n) \to K \quad \text{as } n \to \infty\]
In the limit: deposit rate \(\to r\), loan rate \(\to\) CSV-optimal, full surplus \(\mu - r - K\) distributed to borrowers and depositors.