> he observation that a O(n^2) problem can be broken down into n separate O(n) problems is ultimately due to system 1 reasoning: it is obviously true.
As the parent of a third grader just learning this stuff, I can assure you it isn't immediately obvious to everyone.