Please be detailed, thanks!

4- (i) Formally define the notion that "choice data is consistent with util- ity maximization". (Hint: take inspiration from the definition of "consistency with preference maximization" ). (ii) Supposing that A is finite, prove that choice data is consistent with utility maximization if and only if it satisfies WARP. (Hint: string together propositions in the lecture notes)