@infsup
Compute the inverse tangent in radians.
Accuracy: The result is a tight enclosure.
atan (infsup (1)) ⇒ ans ⊂ [0.78539, 0.7854]
See also: @@infsup/tan, @@infsup/atan2.
Package: interval