我らが思惟は、蒼穹よりもなお広し

从左闭右开区间出发，推导 lower_bound 的边界更新，并用空数组、重复值和越界目标检查实现。