// 右侧第一个 <= cur 的元素, 所以用大于的就弹出
过去AI进不了工厂，不是因为没有需求，而是因为模型能力还不够，加上工业企业的数据从来没有被系统化利用过。每一次设备维修、每一条生产记录、每一次质检结果，都沉睡在各自的系统里，没有人去碰。但现在模型能力的天花板已经大幅抬高，工业企业也开始意识到，自己手里握着的操作数据对AI公司来说是真金白银。这个意识一旦觉醒，工业AI的商业化就会加速。，更多细节参见im钱包官方下载
But then SpaceX communications manager Dan Huot reported on a live stream that mission teams had lost contact with the ship.，更多细节参见同城约会
以往手机厂商应对成本上涨的惯用手法是“减配降价”或“加量不加价”——通过在其他器件上缩减成本来平衡整体BOM。但内存是所有机型都绕不开的刚需，且短期内没有替代品。
* 时间O(n) 空间O(n)（理论最优，无冗余计算）