数组 [3, 1, 5, 2, 4, 6]，k=3。观察最小堆如何维护最大的 3 个元素。