theorem Th22: :: IRRAT_1:22

( dseq is convergent & lim dseq = number_e )