Cardinal Sum Less than Cardinal Product