P
Initializing...
III.C.1: exact optimization of the displayed rate polynomial, (16)–(18) · Prove2Me