La función de logaritmo iterado, denotada como "log*(x)" (o las formas "ln*(x)", "lg*(x)", "log*[b](x)", cuando no se pueda discernir la base en el contexto), puede ser definida recursivamente como: