(** * Exercice 4 *)
(* 10:36 *)
(** ** Questions 1 *)
(** 1.a. *)
(** 1.b. *)
(** ** Questions 2 *)
(* 10:40 *)
(** 2.a *)

(** 2.b. *)
Lemma Q2b : forall n, u (S n) - u n = 1/3 * (INR n + 3 - u n).