P
Initializing...
Theorem 6.12(b,c,d) — monotonicity, additivity in the interval, and the basic bound · Prove2Me