i64 <= last(array)
