theorem :: TAYLOR_1:11

number_e > 2