(1/2 *ctg(x))' < 1; x is in [0.4...1]