Изменения

'''for''' <tex> n = 1</tex> '''to''' <tex>\infty </tex>

'''if''' <tex> x < a \left(\dfrac{1}{n} \right) - \dfrac{1}{n} </tex>

'''if''' <tex> x > a \left(\dfrac{1}{n} \right) + \dfrac{1}{n} </tex>

<tex> \Longleftarrow </tex>:

<tex> m = \dfrac{l+r}{2} </tex>

'''if''' <tex> m < \alpha</tex>

'''else'''

'''return''' t

'''for''' n = <tex>1</tex> '''to''' <tex>\infty</tex>

'''if''' <tex> x < a_n </tex>

: Если <tex> x \in A</tex>, то <tex> \alpha - x = t > 0 </tex>, и так как <tex> \exists N:\ \forall n > N |a_n - \alpha| < t </tex>, то программа вернет ответ при <tex> n > N </tex>.