P
Initializing...
(2.17) — the bound combining (2.11), (2.12), (2.16) and Assumption 1 · Prove2Me