6971243domain: NPropertiesPrimalityPrimeyesAppears in sequencesa(n) is the smallest integer k such that log(1/log((1+k)^(1/k))) > n.at n=12A145914Prime numbersat n=474827