Trust the precondition

Implement double median(int[] arr) for a SORTED array (length >= 1 promised): odd length → middle element; even length → average of the two middle elements. The precondition means you may NOT need an empty check — but you DO need the parity case split.