时间复杂度的大 O 符号的实际定义指得是大于等于上界的整个范围。比如归并排序的大O可以写作O(N*logN)、也可以写作O(2^N)，因为O(2^N)>O(N*logN)。但是你不应该使用后者，实际使用大O表示的即使不是最紧上界也应该接近最紧上界，否则应该使用“复杂度小于O(…)”这样的表达。