A quantity ranging over k+1 values cannot certify a strictly-decreasing walk longer than k

Initializing...

A quantity ranging over k+1 values cannot certify a strictly-decreasing walk longer than k · Prove2Me