Output-size lower bound forces exponential enumeration

An algorithm cannot run faster than the size of the output it must produce, so enumerating exponentially many objects takes exponential time.