Dickman's function