P
Initializing...
§II.J, Eqs.(34),(37): adaptive lower and block bounds · Prove2Me