> There is no smallest positive infinitesimal either.

There is in the surreal and hyperreal number systems. I got that from skimming wikipedia though....