Algebraic bounds on the Rayleigh–Bénard attractor. (22nd January 2021)