```Ocaml # let sum n = if n < 0 then invalid_arg "n<0" else let rec sumrc n = if n=0 then 0 else n + sum(n-1) in sumrc n;;