let
sigma f l =
List
.fold_right (
fun
x r -> (f x) + r) l 0;;