左切り捨て可能素数

Verified by ExactMetrics