Started proving that the function to which Picard operator is applied is Lipschitz