Rigorous scaling laws for internally heated convection at infinite Prandtl number - Arslan, A; Fantuzzi, G; Craske, J; Wynn, A (Journal of Mathematical Physics, 2023)