tl;drThis writeup is an auxiliary to the other one.
Essentially:1) Through combinatorial proof, realise you are merely computing fibonacci sequence.2) Doesn't matter how you do it, the bound is so small anyways.