A surpassing problem
Something to take home:
- Use D&C to get a $O(n \log n)$ performance, maybe sorted property needs to be kept during the whole process.
- We need to provide "just enough" information for
- How to divide? Equational reasoning
- Distribution law
- et cetera