:: deftheorem defines ln TAYLOR_1:def 3 :
ln = log_ number_e;