Задача № 1616
Длина дуги кривой
Условие задачи
Найти длину дуги кривой $y=\ln\cos x$ ($0\leqslant\pi/4$).