Initialization

Sebelum loop dijalankan pertama kali, Loop Invariant harus sudah benar. Umumnya ini otomatis benar karena key masih menyorot index awal (bisa index 0 atau 1) dan tidak ada elemen sebelum index awal, maka nilainya sudah terurut atau benar.