OFFSET
0,1
COMMENTS
It is proved (see Witula et al.'s reference) that the function h(x) := sin(sin(x))/x - cos(cos(x))/x is decreasing in the interval (0,Pi/2) and has zero z in (0,Pi/4). We have sin(sin(z))/z = cos(cos(z))/z = 0.933396189408898411846964. Moreover the following relation hold: F(z) = min{F(x): x \in R} = 0.10712694487, where F(x) := cos(sin(x)) - sin(cos(x)) - see also A215670 and the Witula et al.'s reference for more information.
REFERENCES
R. Witula, D. Jama, E. Hetmaniok, D. Slota, On some inequality of the trigonometric type, Zeszyty Naukowe Politechniki Slaskiej - Matematyka-Fizyka (Science Fascicle of Silesian Technical University - Math.-Phys.), 92 (2010), 83-92.
EXAMPLE
z = 0.692728570186833888... rad (= 39.6904234198376057055880... deg).
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Roman Witula, Aug 20 2012
STATUS
approved