Find the Floor - Largest Value ≤ K
The floor of K in a sorted array is the largest element ≤ K.
arr[mid] ≤ K
arr[mid] > K