theorem :: ASYMPT_1:51

5 ! = 120 by Lm33;