Derive lower bound for equicorrelation rho | Citadel Interview Question