Доказать неравенство на заданном промежутке, берём производную, потом глядим в точке, но чёт ctg(x)>pi/2-x меня не радует. Че, ещё одну взять? Слева константа останется вроде и всё, ну и точку тоже глянуть, просто на уровень ниже уйти, правильно, сосач?