左切り捨て可能素数