Answer: Exercises 1–5 contain a while loop and a
Chapter 5, Problem 4E(choose chapter or problem)
Problem 4E
Exercises 1–5 contain a while loop and a predicate. In each case show that if the predicate is true before entry to the loop, then it is also true after exit from the loop.
loop: while (n ≥ 0 and n ≤ 100)
n := n + 1
end while
predicate: 2n < (n + 2)!
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer