real number and decimal expansions For any real number $x$ we define its decimal expansion as $N\cdot x_1x_2x_2\cdots$ where $N=\lfloor x\rfloor$ and 
$$x_i=\left\lfloor 10^i \left(x- \left(N+\sum_{j=1}^{i-1}\frac{x_j}{10^j}\right) \right)\right\rfloor.$$
Now I have two questions regarding this definition:


*

*Why will each $x_k$ be a digit between $0$ and $9$? That is clear in the case of $x_1$ since $x-N$ being the fractional part of $x$ will be in $[0,1)$ and so $10(x-N)\in[0,10)$. In the case of $x_2$ it is not so clear. Intuitively, if from the fractional part we subtract one tenth's of the "first digit decimal point" so we must getting something like $0.0x_2x_3\cdots$ and hence multiplying by $100$ (and taking floor) is the correct thing to do, to recover $x_2$. However I cannot seem to make this idea rigorous.

*Why can't the decimal expansion end in a string of $9's$? I think if we presumed that it did then, after some $k$ the difference between $x$ and $N.x_1\cdots x_k$ would be zero. That will be a contradiction because clearly each $x_i$ is unique. But how to justify that such a difference ultimately becomes zero?

Update: The answers posted below both use induction to prove (1). Is it correct to do it without induction as follows: Suppose $i\ge 3$ (the cases $i=1,2$ being similar). Now, 
$$10^{i-1}\left(x-\left(N+\sum_{j=1}^{i-2}\frac{x_j}{10^j}\right)\right)<1+x_{i-1}$$ by definition of the floor function. Hence $10^{i}(x-(N+\sum_{j=1}^{i-1}\frac{x_j}{10^j}))<10$ and so $x_i\le 9$. Similarly, since 
$$10^{i-1} \left(x- \left(N+\sum_{j=1}^{i-2}\frac{x_j}{10^j} \right)\right)\ge x_{i-1}$$ 
so $10^{i}\left(x-\left(N+\sum_{j=1}^{i-1}\frac{x_j}{10^j}\right)\right)\ge 0$ following which $x_i\ge 0$.
Thank you.
(Just to clarify bounty will be given to the best posted answer, even if above is correct)

Proof by example:
Let the number be $\pi$.
At a certain stage of the discovery of the decimals, assume that we have established
$$0\le10^5(\pi-3.14159)<1.$$
This implies 
$$0\le10^6(\pi-3.14159)<10$$ and it turns out that 
$$\lfloor10^6(\pi-3.14159)\rfloor=2.$$
Due to the bracketing in $[0,10)$, the new digit is perforce one of $0,1,\cdots9$.
Then by subtracting $2$ we get the fractional part of the above number, such that
$$0\le10^6(\pi-3.14159)-2=10^6(\pi-3.141592)<1$$ and we can iterate.
The process is started with $0\le\pi-3<1.$
This is indeed an inductive proof, as you can replace the concrete decimals by variables throughout.

For the second question, notice that you will never get an infinite representation like $3.1415\bar9$ because the series is numerically equal to the number $3.1416$, with the representation $3.1416\bar0$. Hence uniqueness is guaranteed.
