P
Initializing...
Eq. (30): the merit sequence stays below its value at $t = 1$ · Prove2Me