Logarithmic bounds for infinite Prandtl number rotating convection