71186domain: NAppears in sequencesa(n) = A057641(A094348(n)).at n=35A181852Conjectured lower bounds for the Riemann hypothesis function floor(H(k) + exp(H(k))*log(H(k))) - sigma(k).at n=25A222761