A sharp form of the discrete Hardy inequality and the Keller-Pinchover-Pogorzelski inequality

We give a short proof of a recently established Hardy-type inequality due to Keller, Pinchover, and Pogorzelski together with its optimality. Moreover, we identify the remainder term which makes it into an identity.