证明时间复杂度关系成立