An optimal regularity criterion for the Navier–Stokes equations proved by a blow-up argument. (April 2021)