English: Dyadic rational approximations to the square root of two (approximately 1.4142), found by rounding the square root of two down to the nearest smaller integer multiple of ${\displaystyle 1/2^{i}}$ for ${\displaystyle i=0,1,2,\dots }$