Ledoit-Wolf Linear Shrinkage Optimality Theorem