let rec max l max_value =
  match l with
  | []   -> max_value
  | h::t when h > max_value -> max t h
  | h::t -> max t max_value;;

print_int(max [1;2;3;4;5] 0);;