i need help with this question please

Give an informal proof, an inductive proof and prove program correctness of the following: MinElement(lntList){//Want an element less than or Int i=1;//equal to every other element Int m=lntUst[0];//First min While (i Key)//too far b=i-1; Else/ot far enough a=i+1; } Return -1;//-1 denotes no Key in list