https://eason-zhan.github.io/posts/binary-search/