R. Vilkas, “Definition of an increasing function”, LMR, vol. 64, no. B, pp. 98–113, Nov. 2023, doi: 10.15388/LMD.2023.33600.