Turbulence, dissipation, rigorous bounds