an example of the envelope theorem. It still has many points to be improved.