Setup and notation Optimal stratification Feasible procedures Inference Empirical application Appendix Minimax without pilot