If 2 + √3 is