<p>What is the loop INVARIANT for this program? The loop varianthas to pass the premises:</p><p><img alt="loop {P) [U] while (b) (Sj1 S fQ)" src="https://media.cheggcdn.com/media%2F01d%2F01db2080-9c2f-41fe-9827-cf1d692512dc%2FphpyjQLP0.png" style="height:105px;width:647px;" aria-describedby="d3f"/></p><p><img alt="(0 S len)) i=0;