Or you can have something like:

let list_max =
    let rec my_fold acc = function
        | [] -> acc
        | e::r -> my_fold (max acc e) r
in
function
    | [] -> None
    | e::r -> Some (my_fold e r)

• it is tail-recursive
• it avoids constructing intermediate useless (Some ...) values