A discrete logarithmic function and Lyapunov function. - Shin Isojima; Seiichiro Suzuki (JSIAM Lett., 2022)