Вечер добрый, анон. Пришел сюда, т.к. не знаю куда мне еще идти. Решил, на манер восточных сказаний спросить у мудрых старцев решения. Короче, анон. Прошу тебя помочь мне с решением задачи по матанализу. Необходимо доказать равенство предела функции на языке эпсилон-дельта. Пример таков(пардон за кривость написания, я чайник):lim(x стремится к п/2)sinx=1
Разгадка в том, что
"exists A, A=lim(x->x0) f(x)"
это нужный тебе предикат.
Его и расписывай в логике первого порядка.
