State and prove the Contraction Mapping Theorem.
Find numbers a and b, with a<0<b, such that the mapping T:C[a,b]→C[a,b] defined by
T(f)(x)=1+∫0x3tf(t)dt
is a contraction, in the sup norm on C[a,b]. Deduce that the differential equation
dxdy=3xy, with y=1 when x=0,
has a unique solution in some interval containing 0 .