Will_Sawin comments on Infinitesimals: Another argument against actual infinite sets