A simple Big-O reduction