x(1-✓2)>=4-2✓8
x>=4-2✓8/1-✓2
x>=4-2*2✓2/1-✓2 (acum rationalizam)
x>=(4-4✓2)(1+✓2)/(1-✓2)(1+✓2)
x>=(4-4✓2)(1+✓2)/1-2
x>=(4-4✓2)(1+✓2)/-1
x<=-(4-4✓2)(1+✓2)
x<=-(4+4✓2-4✓2-8)
x<=-(-4)
x<=4 rezulta ca x€ (-infinit, 4], dar x€N, deci rezulta ca x€{0, 1, 2, 3, 4}