Question: Definite Double Integral = Definite Integral

On page 99 of Dr. Euler's Fabulous Formula, Nahin says that:

int(int(`f`(s), s = 0 .. t), t = 0 .. x) = int(`f`(s)*(x-s), s = 0 .. x)

is true and I believe it, but I can't get Maple to confirm it.  How can I get Maple to agree with Nahin?  Are there assumptions that will make it happen?

 

This has been branched into the following page(s):
Please Wait...