In order to define Lebesgue integral, we have to develop some measure theory. This takes some effort in the classroom, after which we need additional effort of defining Lebesgue integral (which also adds a layer of complexity). Why do we do it this way? The first question is to what extent are the notions different. I believe that a bounded measurable function can have a non-measurable "area under graph" (it should be doable by transfinite induction), but I am not completely sure, so treat it as a part of my question. What are the advantages of the Lebesgue integration over area-under-graph integration? I believe that behaviour under limits may be indeed worse. Is it indeed the main reason? Or maybe we could develop integration with this alternative approach? Note that if a non-negative function has a measurable area under graph, then the area under the graph is the same as the Lebesgue integral by [Fubini's theorem](https://en.wikipedia.org/wiki/Fubini%27s_theorem), so the two integrals shouldn't behave very differently.