$3-2$

he test in line $1$ of the MERGE$-$SORT procedure reads $"$if $pr"$ rather than $"$i

$r."$ If MERGE$-$SORT is called with $p>r,$ then the subarray $A[p$:$r]$ is empty

rgue that as long as the initial call of MergESORT$(A,1,n)$ has $n1,$ the tes

$fpr"$ suffices to ensure that no recursive call has $p>r.$