For every positive real number x, prove that there exists an irrational number y satisfying 0<y<x

 

tsetan dolker's image