$($b$)$ Write down a non$-$trivial loop$-$invariant that holds at the line marked

"invariant here!" in the code

public static double minimumElement$($double $[]$ data$)$

$\{$

final int $n=$ data.length ;

double answer $=$ Double.POSITIVE$\_$INFINITY ;

for$($int $=$data$[i]i=0$;$i$ ;

$\}$

return answer;

$\}$