A surpassing problem

Something to take home:

1. Use D&C to get a $O(n \log n)$ performance, maybe sorted property needs to be kept during the whole process.
2. We need to provide "just enough" information for merge the sub-solutions.
3. How to divide? Equational reasoning
   • Distribution law
   • Definition
   • et cetera