Proof That Active Investors Must Average The Market Return Pre-Cost