get(array, i64) <= i
