4th root of 2