Lower bound theorem