The set of infinitesimal hyperreals lacks a least upper bound because 'least upper bound' in NSA ref...