How to prove `forall x : R, 0 < x> 0 < x / 2 < x`?

Question

How to prove forall x : R, 0 < x -> 0 < x / 2 < x ?

Require Import Coq.Reals.Reals.
Open Scope R_scope.

Lemma test: forall x : R, 0