Discussion between Siong Thye Goh and Computer

Imported from a comment discussion on https://math.stackexchange.com/questions/2330728/find-the-upper-and-the-lower-bounds-for-a-definite-integral/2330745#2330745