Colossally abundant number
From 2001–2002 Lagarias showed that Robin's inequality can be written another way. This inequality uses the harmonic numbers instead of logarithms and works for any CA that is bigger than 60.