|csc⁡z|≤csch⁡|y|,