Solve the Inequality for x cos(x)>=( square root of 2)/2