A Sharp Form of the Discrete Hardy Inequality and the Keller–Pinchover–Pogorzelski Inequality