I am trying to use rationals in order to approximate irrationals.
Is it possible to construct a monotonically increasing sequence of rationals the limit of which is an irrational?
If so, how?
I am trying to use rationals in order to approximate irrationals.
Is it possible to construct a monotonically increasing sequence of rationals the limit of which is an irrational?
If so, how?
Copyright © 2021 JogjaFile Inc.
In general, if $x$ is irrational, then $$ a_n=\frac{\lfloor 2^nx\rfloor}{2^n}<x, $$ is an increasing ($a_n\le a_{n+1}$) sequence of rationals converging to $x$. Here $\lfloor a \rfloor$ is the integer part of $a$.
Note. It is possible to extract a strictly increasing sequence, as all the terms of the sequence are strictly smaller than the limit.