Given the following program segment: 7. k: m while m s k do if p(k) is true then k: k+1 (a) is the proposition p(k) "k! > 5k" an invariant of this loop for k 2 4? for all integers n 2 4 (b) use induction to prove or disprove that n! > 5