Changed a message about theoretical upper bound.