| http://www.w3.org/ns/prov#value | - However in the reals augmented with infinitesimals (as nonstandard reals) the limit does not exist because every positive infinitesimal is strictly less than every 1/n when n is a positive integer, and there is no greatest positive infinitesimal (since 2x > x when x is positive).
|
