We include the 5000 second block whenever N is greater than 1, since in that case we know that the additional 5000 was paid. We include the 2500 second block when N is at least 2, since we know that in that case the additional 2500 was paid.

Try it directly.

Rewrite as an increasing bit and some constant bits:

Does that help?