Кстати, вообще, встречалась ли кому-нибудь функция, интегрируемая в элементарных, бесконечно гладкая и равная нулю везде, кроме какого-нибудь отрезка? Можно ли доказать, что такой не существует? (Почему-то кажется, что последние два условия несовместны.)
Вам обязательно интегрируемая в элементарных функциях? Очень уж ограничительное и непринципиальное свойство. Остальным требованиям функция приведённая топикстартером удолетворяет. Хохма в таких функциях в том, что в точке перехода к нулевому значению, для данной функции
радиус сходимости ряда Тэйлора равен нулю несмотря на гладкость. Если рассматривать эту функцию как функцию комплексного переменного то в таких точках имеется особенность.