Öncelikle x < (y - 1/2) olduğundan x30 < (y - 1/2)30 olur.
x30 = 1 - y30 olduğundan y30 + (y - 1/2)30 > 1 olur.
Soruda verilen eşitlikten y < 1 olan bir pozitif sayı olduğu anlaşılır. Buradan
(y - 1/2)30 < (1/2)30 olur.
y30 + (1/2)30 > y30 + (y - 1/2)30 > 1 ve buradan:
y30 + (1/2)30 > 1 ve y30 > 1 - 1/(230) olur.
230 > 320002 > 1000.106 = 109 eşitsizliğini görmek zor değildir. Buradan:
1 - 1/230 > 1 - 1/109 yani y30 > 0,999999999 olur. 0 ile 1 arasında bulunan sayıların kökünü aldıkça sayı büyür. Bu sebepten:
y > 0,999999999 diyebiliriz. Buradan da y sayısının virgülden sonraki ilk dokuz basamağının 9 olduğu anlaşılır.