翻译中的 $i \lt j \le 2^n$ 应该改为 $i \lt j \le 2^n-1$