입력
거의 정렬
앞 구간이 이미 맞아 이동이 적습니다.
선택
Insertion
확인
j >= 0
첫 칸 비교가 빠지면 불변식이 깨집니다.
입력 분포, 안정성, 쓰기 비용을 나눠 보면 디버깅 포인트도 선명해집니다.