let mult f g = fun x -> (f x) * (g x)
let integrateToX f = fun x -> integrate f 0 x
let final f g x = integrate (fun y -> f(x-y) * g(x)) -infinity infinity