Using mathematical induction prove below non$-$recursive algorithm:$$def reverse$\_$array$($Arr$)$: n $=$ len$($Arr$)$

i $=($n$-1)//2$

j $=$ n$//2$

while$($i$>=0$ and j $<=($n$-1))$:

temp $=$ Arr$[$i$]$

Arr$[$i$]=$ Arr$[$j$]$

Arr$[$j$]=$ temp

i $=$ i$-1$

j $=$ j$+1$