https://dryflowery.github.io/posts/binary-search/