There are no fully space constructible functions between log log n and log n
scientific article; zbMATH DE number 4066333