给定一个整数数组，找到每个元素右侧第一个比它小的元素的下标，若不存在则返回-1，要求O(n)时间复杂度。

回答思路

1. 正确使用单调递增栈维护候选下标
2. 准确处理栈顶元素比较与出栈时机
3. 清楚解释为何每个元素最多入栈出栈一次
4. 边界条件：空数组、末尾元素、重复值
5. 能给出正确的时间与空间复杂度分析