小明用大小等于30n