Бред полный, а не задание. Для большинства функций вторая и третья оценка остаточного члена не осуществима на практике в принципе. Для того же узкого круга функций, когда она осуществима, в каждом конкретном случае приходится изощряться с подсчётом по-своему. Именно поэтому используют разные признаки и оценки сверху. Но вот это требование "пусть N —
наименьшее такое, что..." — это полный

. Особенно для численных методов.