第1–5步表明对每个 bonza 函数和每个 nnn 都有 f(n)≤4nf(n)\le4nf(n)≤4n,而第6步给出一个满足 f(4)=4⋅4f(4)=4\cdot4f(4)=4⋅4 的 bonza 函数,故没有更小的常数可行。因此最小的有效常数是 c=4c=4c=4。