Is there a notion of a smallest possible number? Firstly, yes, you can divide any number and get even smaller one but hear me out.
My logic goes as follows:
Let there be a number X. This number behaves similiarly to infinity, except it is not infinitely large, it is infinitely small. You could define this number as 0.000...1, where ... is an infinite number of zeroes. In the same way you can multiply infinity to get infinity, you can divide X, although you'd still get just X. So X is not really a number, more like an idea.
This brings up some interesting possibilites, like:
For an open interval (a, b), a + X would be the first number in that interval and b - X would be the last number of that interval. Therefore you could convert it to a closed interval as [a + X, b - X]
And you can divide with this number as well, you would get either inifnity or minus infinity.
A friend claims that such notion exists, and is called 'Zero plus'. I have failed trying to search for it, so is anything like this established?
 A: In standard reals there is no such number (and there is no infinity either). There is a so called "non-standard analysis" which uses hyperreal field instead of usual reals. However, even in hyperreals there is no such things as "smallest positive number" or "last point of an open interval": for every number $x > 0$ we have $\frac{x}{2} < x$, and this property is too useful to give up.
A: I found this excellent paper (coincidentally where I go to school too!) and it provides an excellent introduction to the topic of hyperreals. Basically you have these new numbers that you can represent as infinite tuples, and you can compare two different hyperreal numbers by comparing their tuples. This allows for numbers less than any positive normal real number, but still greater than zero.
In the paper it is the example of $\epsilon = (\frac 12, \frac 14, \frac 18, \frac 1{16} \ldots )$ which eventually has infinite number of elements less than any real number $r$ represented in this tuple notation as $(r,r,r \ldots)$. We can also see that this special tuple is greater than $0$ for all elements. The tuple $(1,2,3 \ldots)$ in this system serves as the "infinity" or unlimited because it eventually gets bigger than any tuple $(r,r,r \ldots)$.
Furthermore, the paper proves that the properties of the real numbers still hold in the hyperreals, and thus don't contradict what we've already proved using the normal real numbers. I'm not sure whether or not sharing this paper is allowed, and of course there are more intricacies to non-standard analysis and other such numbering systems than just these.
https://sites.math.washington.edu/~morrow/336_15/papers/gianni.pdf
