Assertion: sequence | /r/HasProperty | the truncation
Facets:
Source sentences:
text: In fact, if a real number x is irrational, then the sequence (x n ), whose n-th term is the truncation to n decimal places of the decimal expansion of x, gives a Cauchy sequence of rational numbers with irrational limit x.