We are looking for an such that:

Now is a linear function so takes its extreme values on at the end points of the interval so its maximum is and its minimum is . Hence, as :

So if , is a contaraction mapping on , and the required constant is (if then there are points in the interval where and so fails to be a contraction mapping)

RonL