arccosec1 | [.(- (sqrt 2)),(- 1).] is decreasing