(*#*
This is a tricky result: if [F] is continuous and positive in both [[a,b]]
and [(b,c]], then it is positive in [[a,c]].
*)
(*#*
This is a tricky result: if [F] is continuous and positive in both [[a,b]]
and [(b,c]], then it is positive in [[a,c]].
*)
(*#* This yields the following known result: any differential equation
of the form [f'=g] with initial condition [f(a) [=] b] has a unique solution.
*)
(*#* This yields the following known result: any differential equation
of the form [f'=g] with initial condition [f(a) [=] b] has a unique solution.
*)
(*#* From these results we can finally prove that exponentiation to a
real power preserves the less or equal than relation!
(*#* From these results we can finally prove that exponentiation to a
real power preserves the less or equal than relation!