2的(t-1)次方 > n 是因为只有这时候循环结束(即这是判定条件)