Go-ის სტანდარტულ ბიბლიოთეკაში, sort.Search(n, f) ფუნქცია ეძებს მინიმალურ ინდექსს i, რომლისთვისაც f(i) == true. რა თვისება უნდა ჰქონდეთ f-ის შედეგებს ინდექსებზე 0...n-1, რათა ძიება სწორად მუშაობდეს?

Функция f, передаваемая в sort.Search, должна быть монотонно неубывающей по индексам от 0 до n-1, то есть сначала возвращать false, а начиная с некоторого индекса i — true для всех последующих. Это гарантирует, что существует минимальный индекс i, для которого f(i) == true, и бинарный поиск корректно его найдет.

Пример: если f(i) = (i >= k), то для всех i < k f(i) == false, а для i >= k — true.