🏆 Max Loop Invariant

Finding the maximum value with correctness guarantees

max_val = -infinity
for i = 0 to n-1:
 if A[i] > max_val:
 max_val = A[i]
return max_val

max_val -∞

Invariant: At start of iteration `i`, `max_val` contains the maximum value in A[0...i-1].

Waiting to start...