https://videosashka.com/watch/95bFFw7m-c4/loop-invariants-key-coding-interview-concept