Telescoping reduction (sharp): potential with step bound and $c \le \Phi([])$ yields growth majorants with no additive constant

Initializing...

Telescoping reduction (sharp): potential with step bound and $c \le \Phi([])$ yields growth majorants with no additive constant · Prove2Me