RIPА, кстати, да, это хорошо. Только, имхо, есть смысл сразу "подогнать" интегральную сумму под интеграл

. Неравенство, во-первых, не очень-то пригождается (или я чего не вижу?), а во-вторых, у нас и несобственными интегралами на этот момент еще не пахнет.
(Тут я впала в задумчивость, насколько прилично строить по каждой интегральной сумме свой отрезок интегрирования (или подынтегральную функцию, как посмотреть. И чтобы у нас она фактически зависела от выбора разбиения.)