theorem Th9: :: CARDFIN2:9

for s being non empty finite set holds |.((card (derangements s)) - (((card s) !) / number_e)).| < 1 / 2