An inequality concerning the production of vorticity in isotropic turbulence | Synapse