Abstract
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.
MSC::
Acknowledgment
The research of the authors was supported by the GAČR grant No. 20-17749X.