let rec sigma f = function | [] -> 0 | x :: rest -> f x + sigma f rest ;;