P
Initializing...
Proof of Theorem 8.3.4 — t*(T*) + T* ≤ 2 t_opt · Prove2Me