/ / ___________\ / ___________\ \ | | / ___ | | / ___ | | | |\/ 2 + \/ 2 | |\/ 2 - \/ 2 | | And|x < pi - atan|--------------|, atan|--------------| < x| | | ___________| | ___________| | | | / ___ | | / ___ | | \ \\/ 2 - \/ 2 / \\/ 2 + \/ 2 / /
(atan(sqrt(2 - sqrt(2))/sqrt(2 + sqrt(2))) < x)∧(x < pi - atan(sqrt(2 + sqrt(2))/sqrt(2 - sqrt(2))))
/ ___________\ / ___________\ | / ___ | | / ___ | |\/ 2 - \/ 2 | |\/ 2 + \/ 2 | (atan|--------------|, pi - atan|--------------|) | ___________| | ___________| | / ___ | | / ___ | \\/ 2 + \/ 2 / \\/ 2 - \/ 2 /
x in Interval.open(atan(sqrt(2 - sqrt(2))/sqrt(sqrt(2) + 2)), pi - atan(sqrt(sqrt(2) + 2)/sqrt(2 - sqrt(2))))