A Lower Bound on the Size of Decomposable Negation Normal Form