write a loop invariant proof: Initially average is

$0$

$$and count of integers read is

$0$

$$;

while the input stream is not empty do

Read the integer i ;

Modify average as

$($

average

$*$

$$count

$+$

$$i

$)/($

count

$+$

$1)$

$$; Increase count by

$1$

$$;