Insertion Sort
[Loop Invariant](https://texonom.com/loop-invariant-911718eddb8e44cf8683ea4b999fdb6c) 


### Algorithm
![](https://www.notion.so/image/https%3A%2F%2Fprod-files-secure.s3.us-west-2.amazonaws.com%2F0bf522c6-2468-4c71-99e3-68f5a25d4225%2Fbeac3f49-fb82-41db-b8d0-24a63b9a947e%2FUntitled.png?table=block&id=d56b7594-1efc-4c72-9a08-04ec3b08ac68&cache=v2)
![](https://www.notion.so/image/https%3A%2F%2Fprod-files-secure.s3.us-west-2.amazonaws.com%2F0bf522c6-2468-4c71-99e3-68f5a25d4225%2F0e66acee-c2b5-4dc4-8a87-f68840cf0cb8%2FUntitled.png?table=block&id=8868e2de-aa07-4c17-8463-46a9e35ff31a&cache=v2)
swapping until find small


### Worst cast
reverse








