以下哪项论证能证明针对 [low, high) 的递归二分查找会终止？

以下哪项论证能证明针对 [low, high) 的递归二分查找会终止？

1. 区间宽度非负，而且在每条递归分支上都严格减小。
2. 真实数据中的目标通常靠近中间。
3. 每次调用的局部变量都少于调用方。
4. 运行时最终会移除旧调用栈帧。