Algebraic bounds on the Rayleigh–Bénard attractor