有一种数据结构能在 $O(\log n)$ 的时间复杂度内求出一个区间的不大于 $k$ 的最大值吗？

比如一个序列 1 3 4 4 6 3 3，我要求出区间 $[3,7]$ 不大于 $5$ 的最大值就是 $4$。