P
Initializing...
Eq. (32): lower estimate of the merit value at $t = 1$ · Prove2Me