Any single query to \(\mathcal{O}\), no matter how well-crafted, yields at most \(\log_{2}(l)\) bits, because the output is one of \(l\) distinct values. The minimum number of queries required is at least the total information content divided by the information per query, yielding the lower bound \(l\log_{2}(B/\varepsilon)/\log_{2}(l)\).