Point 5 reminds me of this: http://en.wikipedia.org/wiki/Differentiation_under_the_integ...