Ben çok kötü bir yanıt vereceğim. a<b iki rasyonel sayı olsun. √2'nin irrasyonel olduğunu biliyoruz ve her sayı x sayısı için √2n dizisinin sıfıra gittiğini biliyoruz. O halde √2N<|b−a|
eşitsizliğini sağlayacak bir
N doğalsayısı vardır.
a+√2n irrasyonel sayısı aradığımız özelliktedir.