theorem :: LIOUVIL1:44

for m being Nat st 1 < m holds
Liouville_seq ((seq_const 1),m) is negligible