https://danieldata.com/posts/binary-search/