TAOCP 7.2.2.2 Exercise 358
Connection interrupted.
Section 7.2.2.2: Satisfiability
Exercise 358. [M20] Continuing exercise 357, prove that $r = \max(p, q, r)$ if and only if $x, y \ge \frac{1}{2}$.
Verified: no
Solve time: 3m
Connection interrupted. Waiting for the complete answer