array-find-predecessor