The discrete renewal theorem with bounded interevent times

The purpose of this note is to prove the celebrated Discrete Renewal Theorem in a common special case. We use only very elementary methods from real analysis, rather than markov chain theory, complex analysis, or generating functions. Provided is an introduction to a 1d discrete renewal process via a board game example, our proof the discrete renewal theorem, as well as background and history of the Erdǒs-Feller-Pollard Theorem.