特に十分小さな "c" に対して "x" をlog "z" &lt; "c" log "x" /log log "x" を満たすように取れば以下が成り立つ: