The math related to investment diversification