https://mixrolikus.cc/video/95bFFw7m-c4/loop-invariants-key-coding-interview-concept