Egyptian fraction sqrt{2}