P
Initializing...
Theorem 4 (Peskun's theorem on general state spaces): $P_1 \succeq P_2 \Rightarrow v(f,P_1) \le v(f,P_2)$ · Prove2Me