I came across the above result while trying to (combinatorially) solve the problem @susam wrote about here: https://susam.net/blog/combinatorics-coincidence.html

It is a really nice post going over some #math, specifically #combinatorics, #recurrences and more. There's also a bonus #nested #loops problem.