Given an arbitrary non-deterministic finite automation (NFA) with N states, the maximum number of states in an equivalent minimized DFA is at least