省选联考 2024 D2T1 题解

这篇博客复杂度证明部分有一个 $O(2^kk)$ 关于 $k$ 的求和。但是记号 $O(f(n))=g(n)$ 的定义是存在一个下界 $n_0$ 使得对于所有 $n\ge n_0$ 都有 $f(n)$ 不超过 $g(n)$ 的常数倍。所以在关于 $n$ 的求和里忽略 $n<n_0$ 是否不严谨，并且在一些情况下会导致错误？