theorem Th36: :: SINCOS10:36

for x being set st x in [.(PI / 4),(PI / 2).] holds
cosec . x in [.1,(sqrt 2).]