A uniformly continuous function on [0,1] that is everywhere different from its infimum
scientific article; zbMATH DE number 3769621