$\ln_{\ell}(x)=\ln\left(\ln_{\ell-1}(x)\right),$