RT。$max_{i, j}$表示，从 $i$ 位置开始的 $2^ j$ 个数中的最大值。那么末尾插入能否实现？

先提前按最多的数量预处理好，那么末尾插入应该只会更改 $\log n$ 个位置的值。