Question

Discrete Math - Help Appreciated
Show that the following are loop invariants for the loop

while 1≤m do
m:=2m
n:=3n

(a) n^2 ≥ m^3
(b) 2m^{6} < n^4

Answer 1

I'm just not sure how to state/arrive at the answer. I can have a table set up that lists the first few values, but how far does that get me?