Largeness of the set of finite products in a semigroup