Nice to see you doing this again
Your concern about 16 (b) (ii) caught my attention -- I haven't thought too much about it and I may have made a mistake but I think it's really just a case of induction.
If you consider the sequence of unordered sets
, you can show by induction that
for all integers
. The base case is clear and the induction step is effectively the exact logic you showed.
In my opinion it's quite unclear how much of that would be required for what can surely only be 2 marks. I suppose we'll find out.