この記事では後の記事で必要となる一般化優高度合成数という数の性質について解説していきます。
以下$\s_{-s}(n)$を約数関数
$$\s_{-s}(n)=\sum_{d|n}d^{-s}$$
とし$s\geq0$を固定します。このとき一般化優高度合成数とは次のように定義される数のことを言います。
自然数$n$が任意の$m< n$に対して
$$\s_{-s}(n)>\s_{-s}(m)$$
を満たすとき、$n$は一般化高度合成数であると言う。
自然数$n$がある$\e>0$と任意の$m$に対し
$$\frac{\s_{-s}(n)}{n^\e}\geq\frac{\s_{-s}(m)}{m^\e}$$
を満たす(ただし$m>n$においては真の不等号が成り立つ)とき、$n$は一般化優高度合成数であると言う。
以下簡単のため"一般化"を省略して単に高度合成数や優高度合成数と呼ぶことにします。
上では$\s_{-s}\;(s\geq0)$について優高度合成数を定義しましたが、$\s_s\;(s>0)$についても巨大過剰数というものが定義されます。と言っても、$n$が$\s_s$についての巨大過剰数であるとは
$$\frac{\s_s(n)}{n^{s+\e}}\geq\frac{\s_s(m)}{m^{s+\e}}\quad(\exists\e>0,\;\forall m\in\N)$$
(ただし$m>n$ならば等号不成立)が成り立つことを言うのですが、
$$\frac{\s_s(n)}{n^s}=\sum_{d|n}\l(\frac1{\frac nd}\r)^s=\sum_{d|n}\frac1{d^s}=\s_{-s}(n)$$
なので$n$が$\s_s$についての巨大過剰数であることと$\s_{-s}$についての優高度合成数であることは等価であり、結局$\s_{-s}(n)$について考えればいいことになります。実際、後の記事では$\s(n)=\s_1(n)$についての定理を解説しますが、その導出では$\s_{-1}(n)=\s(n)/n$について考察していくことになります。
ただ、$n$が$\s_{-s}$についての高度合成数であることと$\s_s$についての高度過剰数であること($\mathrel{\overset{\text{def}}{\iff}}\forall m< n,\ \s_s(n)>\s_s(m)$)は同値ではありません。高度合成数と同値なのは超過剰数であること($\mathrel{\overset{\text{def}}{\iff}}\forall m< n,\ \s_s(n)/n>\s_s(m)/m$)になります。
さらに注意が必要なのはここで高度合成数(優高度合成数)と超過剰数(巨大過剰数)が同値であると言ったのは$\s_{-s}(n)\leftrightarrow\s_s(n)$の相互関係について言っており、通常、高度合成数(優高度合成数)や超過剰数(巨大過剰数)と言ったときにはそれぞれ$d(n)=\s_0(n),\ \s(n)=\s_1(n)$についてのそれを指すので、そういう意味では高度合成数(優高度合成数)と超過剰数(巨大過剰数)は同値とはなりません。
この記事では最後の節を除いて具体的な(優)高度合成数の例は紹介しないのもあって何かの参考にこれらのWikipediaのページでも貼っておきます。
・
高度合成数
(
Highly composite number
)
・
優高度合成数
(
Superior highly number
)
・
高度過剰数
(
Highly abundant number
)
・
超過剰数
(
Superabundant number
)
・
巨大過剰数
(
Colossally abundant number
)
なぜか優高度合成数(日本語版)の紹介は巨大過剰数の記事の中で行われています。$s\neq0,1$まで一般化(Generalized)したものについての記事はなさそうな感じでした。
ちなみに巨大過剰数の記事の出典として使われていたQiitaの記事(→
高度合成数〜なんかよく見る数〜
)でも$s=0$の(優)高度合成数の数値的な話やこの記事とはまた別の観点のお話を取り上げているので、よかったらそちらも見てみると面白いかもしれません。
以下、簡単のため$s>0$として$s=0$の場合は最後の節で紹介します。
これから(優)高度合成数についての性質を見ていく前にいくつかの解析的な補題を示しておく。
自然数$e$と$x>1$に対して
$$f_e(x)=\frac{1-x^{-e}}{1-x^{-(e+1)}}$$
とおくと$f_e(x)$は$e,x$それぞれについて単調増加である。
$$f_e(x)=\frac{x^{e+1}-x}{x^{e+1}-1}
=1-\frac{x-1}{x^{e+1}-1}=1-\frac1{\sum^e_{i=0}x^i}$$
に注意すればわかる。
自然数$e>e'$と$x>1$に対して
$$g_{e,e'}(x)=\farc{1-x^{-e}}{1-x^{-(e-e')}}$$
とおくと$g_{e,e'}(x)$は$e$について単調減少である。
$$g_{e,e'}(x)=\frac{1-x^{-e'}}{1-x^{-(e-e')}}x^{-(e-e')}-1$$
または
$$g_{e,e'}(x)=\prod^{e'}_{i=1}\frac1{f_{e-i}(x)}$$
に注意すればわかる。(ついでに$x$についても単調減少であることがわかる。)
自然数$r$と$s,\e>0$に対して方程式
$$x^\e=\frac{1-x^{-s(r+1)}}{1-x^{-sr}}\quad\l(=\frac1{f_r(x^s)}\r)$$
は$1< x$においてただ一つの解を持ち、その解$x_r$は$r$について単調減少に$1$へ収束する。
補題1より$h_r(x)=x^\e-1/f_r(x^s)$は$1< x$で単調増加で、
\begin{align}
\lim_{x\to1}h_r(x)
&=\lim_{x\to1}\l(x^\e-\frac{\sum^r_{i=0}x^{-is}}{\sum^{r-1}_{i=0}x^{-is}}\r)\\
&=1-\frac{r+1}r=-\frac1r<0\\
\lim_{x\to\infty}h_r(x)&=\infty
\end{align}
なのでこれが$1< x$においてただ一点で$0$になることがわかる。
また$h_r(x)$は$r$についても単調増加なので$h_r(x_r)=0$とすると
$$h_{r+1}(x_r)>h_r(x_r)=0=h_{r+1}(x_{r+1})$$
すなわち$x_{r+1}< x_r$であり、有界単調性から$x_r$の収束先を$\a$とおくと
\begin{eqnarray}
|\a^\e-1|&=&\lim_{r\to\infty}\l(\frac1{f_r(x_r)}-1\r)
\\&\leq&\lim_{r\to\infty}\l(\frac1{f_r(1)}-1\r)
=\lim_{r\to\infty}\frac1r=0
\end{eqnarray}
よって$\a=1$がわかる。
素数を小さい順に並べ、$p_1=2,p_2,p_3,\ldots$とおき、$n$の素因数の内最大のものを$p_k$として
$$n=\prod^k_{j=1}p_i^{e_i}\quad(e_i\geq0)$$
と素因数分解する。このとき
\begin{align}
\s_{-s}(n)&=\sum_{d|n}d^{-s}=\prod^k_{j=1}\sum^{e_j}_{l=0}p_j^{-ls}\\
&=\prod^k_{j=1}\frac{1-p_j^{-(e_j+1)s}}{1-p_j^{-s}}
\end{align}
と表せることに注意する。
高度合成数$n$に対し$e_1\geq e_2\geq\cdots\geq e_k\;(\geq1)$が成り立つ。
高度合成数$n$がある$1\leq i< k$に対し$e_i< e_{i+1}$を満たすとする。このとき$m=n\cdot p_i/p_{i+1}< n$とおくと
$$\frac{\s_{-s}(n)}{\s_{-s}(m)}=\frac{1-p_i^{-(e_i+1)s}}{1-p_i^{-(e_i+2)s}}\cdot
\frac{1-p_{i+1}^{-(e_{i+1}+1)s}}{1-p_{i+1}^{-e_{i+1}s}}=\farc{f_{e_i+1}(p_i^s)}{f_{e_{i+1}}(p_{i+1}^s)}>1$$
が成り立たなければならないが、$e_i+1\leq e_{i+1},\;p_i< p_{i+1}$から補題1より
$$f_{e_i+1}(p_i^s)< f_{e_{i+1}}(p_{i+1}^s)$$
であるので矛盾。よって主張を得る。
高度合成数$n\neq4,36$に対し$e_k=1$が成り立つ。
また$36$が高度合成数となるのは$3^s+9^s<2^s+4^s+8^s$が成り立つとき(大体$s<1.674$くらい)、かつそのときに限る。
高度合成数$n$が$e_k\geq3$を満たすとする。このときベルトランの仮説より$p_{k+1}<2p_k\leq p_k^2$であることに注意して$m=n\cdot p_{k+1}/p_k^2< n$とおくと
$$\frac{\s_{-s}(n)}{\s_{-s}(m)}
=\frac{1-p_k^{-(e_k+1)s}}{1-p_k^{-(e_k-1)s}}\cdot\frac1{1+p_{k+1}^{-s}}
=\frac{g_{e_k+1,2}(p_k^s)}{1+p_{k+1}^{-s}}>1$$
が成り立たなければならないが、補題2より
$$g_{e_k+1,2}(p_k^s)\leq g_{4,2}(p_k^s)=1+p_k^{-2s}<1+p_{k+1}^{-s}$$
であるので矛盾。
高度合成数$n$が$p_k\geq5$かつ$e_{k-2}\geq5$を満たすとする。このとき$p_{k-2}\geq3$ならベルトランの仮設より
$$p_{k+1}<2p_k<4p_{k-1}<8p_{k-2}< p_{k-2}^3$$
が成り立ち、また$p_{k-2}=2$なら$p_{k+1}=7$より結局$p_{k+1}< p_{k-2}^3$が成り立つことに注意して$m=n\cdot p_{k+1}/p_{k-2}^3< n$とおくと
$$\frac{\s_{-s}(n)}{\s_{-s}(m)}
=\frac{1-p_{k-2}^{-(e_{k-2}+1)s}}{1-p_{k-2}^{-(e_{k-2}-2)s}}\cdot\frac1{1+p_{k+1}^{-s}}
=\frac{g_{e_{k-2}+1,3}(p_{k-2}^s)}{1+p_{k+1}^{-s}}>1$$
が成り立たなければならないが、これも上と同様に
$$g_{e_{k-2}+1,3}(p_{k-2}^s)\leq g_{6,3}(p_{k-2}^s)=1+p_{k-2}^{-3s}<1+p_{k+1}^{-s}$$
であるので矛盾。
$p_k$ | $p_{k-1}p_k$ | $p_{k-2}p_{k+1}$ |
---|---|---|
$5$ | $15$ | $14$ |
$7$ | $35$ | $33$ |
$11$ | $77$ | $65$ |
$13$ | $143$ | $119$ |
$17$ | $221$ | $209$ |
$19$ | $323$ | $299$ |
$23$ | $437$ | $493$ |
高度合成数$n$が$5\leq p_k\leq19$かつ$e_k=2$を満たすとする。このとき上の表より$p_{k-1}p_k>p_{k-2}p_{k+1}$が成り立つことに注意して自然数$m=n\cdot p_{k-2}p_{k+1}/p_{k-1}p_k< n$を取ると
\begin{eqnarray}
\frac{\s_{-s}(n)}{\s_{-s}(m)}
&=&\frac{1-p_{k-2}^{-(e_{k-2}+1)s}}{1-p_{k-2}^{-(e_{k-2}+2)s}}
\cdot\frac{1-p_{k-1}^{-(e_{k-1}+1)s}}{1-p_{k-1}^{-e_{k-1}s}}
\cdot\frac{1-p_k^{-3s}}{1-p_k^{-2s}}
\cdot\frac1{1+p_{k+1}^{-s}}
\\&=&\frac{f_{e_{k-2}+1}(p_{k-2}^s)f_1(p_{k+1}^s)}
{f_{e_{k-1}}(p_{k-1}^s)f_2(p_k^s)}>1
\end{eqnarray}
が成り立つ。いま$e_k=2\leq e_{k-1}\leq e_{k-2}\leq4$より
$$f_2(p_{k-1}^s)f_2(p_k^s)< f_5(p_{k-2}^s)f_1(p_{k+1}^s)$$
が成り立たたなければならないが、実は$s>0$において
$$f_2(p_{k-1}^s)f_2(p_k^s)>f_5(p_{k-2}^s)f_1(p_{k+1}^s)$$
が成り立つ。この証明については細かくは触れ(れ)ません(私の技術的に)が、次のように正当化することはできます。
$x\to\infty$において
$$f_e(x)=\frac{1-x^{-e}}{1-x^{-(e+1)}}\fallingdotseq(1-x^{-e})(1+x^{-(e+1)})\fallingdotseq 1-x^{-e}$$
と評価できるので$s\to\infty$において
\begin{align} f_2(p_{k-1}^s)f_2(p_k^s)&\fallingdotseq(1-p_{k-1}^{-2s})(1-p_k^{-2s})\fallingdotseq1-p_{k-1}^{-2s}\\ f_5(p_{k-2}^s)f_1(p_{k+1}^s)&\fallingdotseq(1-p_{k-2}^{-5s})(1-p_{k+1}^{-s})\fallingdotseq1-p_{k+1}^{-s} \end{align}
すなわち
$$f_2(p_{k-1}^s)f_2(p_k^s)\fallingdotseq 1-p_{k-1}^{-2s}>1-p_{k+1}^{-s}\fallingdotseq f_5(p_{k-2}^s)f_1(p_{k+1}^s)$$
が成り立つ。また$x\to1$においては
$$f_e(x)=\frac{\sum^{e-1}_{i=0}x^{-i}}{\sum^e_{i=0}x^{-i}}\fallingdotseq\frac e{e+1}$$
と評価できるので$s\to0$において
$$f_2(p_{k-1}^s)f_2(p_k^s)\fallingdotseq \frac49>\frac5{12}\fallingdotseq f_5(p_{k-2}^s)f_1(p_{k+1}^s)$$
が成り立つ。よって大域的にも(ほとんどの$s$で)
$$f_2(p_{k-1}^s)f_2(p_k^s)>f_5(p_{k-2}^s)f_1(p_{k+1}^s)$$
が成り立つと考えられる。といった具合である。
なにはともあれこれによって矛盾が得られる。
$p_k$ | $p_{k+1}p_{k+2}$ | $p_{k-2}p_{k-1}p_k$ |
---|---|---|
$11$ | $221$ | $385$ |
$13$ | $323$ | $1001$ |
$17$ | $437$ | $2431$ |
$19$ | $667$ | $4199$ |
高度合成数$n$が$p_k\geq11$かつ$e_k=2$を満たすとする。このとき$p_k\geq23$ならばベルトランの仮設より$p_{k+1}<4p_{k-1},\;p_{k+2}<4p_k$なので
$$p_{k+1}p_{k+2}<16p_{k-1}p_k< p_{k-2}p_{k-1}p_k$$
が成り立ち、また上の表から$11\leq p_k\leq19$においてもこの不等式は成り立つことに注意して自然数$m=n\cdot p_{k+1}p_{k+2}/p_{k-2}p_{k-1}p_k$を取ると
$$\frac{\s_{-s}(n)}{\s_{-s}(m)}=\frac{f_1(p_{k+1}^s)f_1(p_{k+2}^s)}{f_{e_{k-2}}(p_{k-2}^s)f_{e_{k-1}}(p_{k-1}^s)f_2(p_k^s)}>1$$
が成り立たなければならないがが、上と同じように(厳密な証明ではないが)$s\to\infty$において
$$\frac{f_1(p_{k+1}^s)f_1(p_{k+2}^s)}{f_2(p_{k-2}^s)f_2(p_{k-1}^s)f_2(p_k^s)}
\fallingdotseq\frac{1-p_{k+1}^{-s}}{1-p_{k-2}^{-2s}}<1$$
および$s\to0$において
$$\frac{f_1(p_{k+1}^s)f_1(p_{k+2}^s)}{f_2(p_{k-2}^s)f_2(p_{k-1}^s)f_2(p_k^s)}
\fallingdotseq\frac{\farc14}{\farc8{27}}=\frac{27}{32}<1$$
と評価できるので矛盾。
$p_k=2,\ e_k=2$となるような$n$、つまり$n=4$は高度合成数である。実際
$$\s_{-s}(1)=1,\quad\s_{-s}(2)=1+2^{-s},\quad\s_{-s}(3)=1+3^{-s}$$
は全て$\s_{-s}(4)=1+2^{-s}+4^{-s}$未満である。
$p_k=3,\ e_k=3$となるような高度合成数$n=2^e3^2$について、自然数$m=n\cdot5/6< n$を取ると
$$\farc{\s_{-s}(n)}{\s_{-s}(m)}=\farc{f_1(5^s)}{f_e(2^s)f_2(3^s)}>1$$
が成り立ち、また(厳密な証明ではないが)$s\to\infty$において
$$\farc{f_1(5^s)}{f_3(2^s)f_2(3^s)}\fallingdotseq\farc{1-5^{-s}}{1-8^{-s}}<1$$
および$s\to0$において
$$\farc{f_1(5^s)}{f_3(2^s)f_2(3^s)}\fallingdotseq\farc{\frac12}{\farc34\cdot\farc23}=1$$
が成り立つので
$$\frac{f_1(5^s)}{f_2(3^s)}\leq f_3(2^s)$$
が言える。よって$f_e(2^s)< f_3(2^s)$であり、単調性より$e<3$となる。ここで$e\geq e_k=2$であったので$e=2$すなわち$n=36$となる。
ただし$24$が$36$未満で最大の高度合成数であること(定理$4$や$\s_{-s}(30)<\s_{-s}(24)$から簡単にわかる)に注意すると$36$が高度合成数であるためには$\s_{-s}(24)<\s_{-s}(36)$であればよく、これを展開して整理すると
\begin{eqnarray}
(1+2^{-s}+4^{-s}+8^{-s})(1+3^{-s})&<&(1+2^{-s}+4^{-s})(1+3^{-s}+9^{-s})
\\8^{-s}(1+3^{-s})&<&(1+2^{-s}+4^{-s})9^{-s}
\\9^s(1+3^{-s})&<&8^s(1+2^{-s}+4^{-s})
\\3^s+9^s&<&2^s+4^s+8^s
\end{eqnarray}
が必要十分条件ということになる。
定理5の証明は$s=0$におけるラマヌジャンの論証を元に自力で考えたものになっているために$\s_{-s}(n)<\s_{-s}(m)$を示す議論が多少不完全なものになっています。完全な証明はどこかに載っているのでしょうか...?ちなみにラマヌジャンは定理4と5のことを"We can easily show that (これは簡単に示すことができます)"と言っています。んなわけあるか。
優高度合成数$n$はその定義から任意の$m< n$に対して
$$\s_{-s}(n)\geq\l(\farc{n}{m}\r)^\e\s_{-s}(m)>\s_{-s}(m)$$
を満たすので高度合成数となります。そして優高度合成数は$s,\e$を用いて次のように明示的に素因数分解できます。
優高度合成数$n=\prod^k_{j=1}p_j^{e_j}$に対し
$$e_j=\Bigg\lfloor\frac{\log\big((p_j^\e-p_j^{-s})/(p_j^\e-1)\big)}{s\log p_j}\Bigg\rfloor$$
および
$$\frac{\log(1+p_{k+1}^{-s})}{\log p_{k+1}}<\e\leq\frac{\log(1+p_k^{-s})}{\log p_k}$$
が成り立つ。
任意に素数$p_i\leq p_k$を取り、$m=n/p_i< n$とおくと
$$\frac{\s_{-s}(n)}{\s_{-s}(m)}=\frac{1-p_i^{-(e_i+1)s}}{1-p_i^{-e_is}}
\geq\l(\farc{n}{n/p_i}\r)^\e=p_i^\e\quad\cdots(*_m)$$
が成り立ち、また任意に素数$p_i$を取り$l=p_in>n$とおくと
$$\frac{\s_{-s}(n)}{\s_{-s}(l)}=\frac{1-p_i^{-(e_i+1)s}}{1-p_i^{-(e_i+2)s}}
>\l(\farc{n}{p_in}\r)^\e=p_i^{-\e}\quad\cdots(*_l)$$
が成り立つ。これをそれぞれ$e_i$について解くことで
$$\frac{\log(\frac{p_i^\e-p_i^{-s}}{p_i^\e-1})}{s\log p_i}-1< e_i\leq\frac{\log(\frac{p_i^\e-p_i^{-s}}{p_i^\e-1})}{s\log p_i}$$
すなわち
$$e_j=\Bigg\lfloor\frac{\log(\frac{p_j^\e-p_j^{-s}}{p_j^\e-1})}{s\log p_j}\Bigg\rfloor$$
を得る。
いま$e_k=2$つまり$n=4,36$であるとすると$k=1,2$に対して$e_k=2$かつ$e_{k+1}=0$が成り立つので
$$e_k=2\leq\frac{\log(\frac{p_k^\e-p_k^{-s}}{p_k^\e-1})}{s\log p_k},\quad e_{k+1}+1=1>\frac{\log(\frac{p_{k+1}^\e-p_{k+1}^{-s}}{p_{k+1}^\e-1})}{s\log p_{k+1}}$$
となる。これを$(*_m),(*_l)$の形に戻して$\e$について解くと
$$\frac{\log(1+p_{k+1}^{-s})}{\log p_{k+1}}<\e\leq\farc1{\log p_k}\log\l(\frac{1+p_k^{-s}+p_k^{-2s}}{1+p_k^{-s}}\r)$$
がわかるが、
\begin{align}
&\frac{d}{ds}\l(\frac{\log(1+p_{k+1}^{-s})}{\log p_{k+1}}
-\frac{\log\big((1+p_k^{-s}+p_k^{-2s})/(1+p_k^{-s})\big)}{\log p_k}\r)\\
={}&\frac1{p_{k+1}^s+1}-\farc{2p_k^s+1}{(p_k^s+1)(p_k^{2s}+p_k^s+1)}\geq0
\end{align}
より(この不等式については(めんどくさいので)証明しない)
$$\frac{\log(1+p_{k+1}^{-s})}{\log p_{k+1}}-\frac{\log((1+p_k^{-s}+p_k^{-2s})/(1+p_k^{-s}))}{\log p_k}>\frac{\log2}{\log p_{k+1}}-\farc{\log\frac32}{\log p_k}>0$$
なのでそのような$\e$は存在しない。つまり$n=4,36$は優高度合成数ではない。
以上より$e_k=1$なので$m=n/p_k,l=p_{k+1}n$とおくと
$$\frac{\s_{-s}(n)}{\s_{-s}(m)}=1+p_k^{-s}\geq p_k^\e,\quad\frac{\s_{-s}(n)}{\s_{-s}(l)}=\frac1{1+p_{k+1}^{-s}}>p_{k+1}^{-\e}$$
すなわち
$$\frac{\log(1+p_{k+1}^{-s})}{\log p_{k+1}}<\e\leq\frac{\log(1+p_k^{-s})}{\log p_k}$$
を得る。
いま示したのは$n$が優高度合成数であれば$s$と$\e$を用いて明示的に表せる、という話であったが、逆に$s$と$\e$から作られた$n$は優高度合成数となることが言える。
任意の$0<\e\leq\log(1+2^{-s})/\log2$に対して
$$e_j=\Bigg\lfloor\frac{\log(\frac{p_j^\e-p_j^{-s}}{p_j^\e-1})}{s\log p_j}\Bigg\rfloor,\qquad n=\prod^\infty_{j=1}p_j^{e_j}$$
とおくと、$n$は優高度合成数となる。
$e_j$の定義より定理6証明内の不等式$(*_m),(*_l)$が成り立つことに注意する。
いま任意に$m\neq n$を取り$n/m=\prod_jp_j^{e'_j}\quad(-e_j\leq e'_j)$と(負の指数も認めて)素因数分解する。このとき$m=\prod_jp_j^{e_j+e'_j}$より
$$\frac{\s_{-s}(n)}{\s_{-s}(m)}=\prod_j\frac{1-p_j^{-(e_j+1)s}}{1-p_j^{-(e_j+e'_j+1)s}}$$
が成り立つ。この各因数について、$e'_j$が負のとき
$$\frac{1-p_j^{-(e_j+1)s}}{1-p_j^{-(e_j+e'_j+1)s}}
=\prod^{-e'_j-1}_{i=0}\frac{1-p_j^{-(e_j-i+1)s}}{1-p_j^{-(e_j-i)s}}
=\prod^{-e'_j-1}_{i=0}\frac1{f_{e_j-i}(p_j^s)}
\geq \frac1{f_{e_j}(p_j^s)^{-e'_j}}\geq p_j^{e'_j\e}$$
となり、また$e'_j$が正のとき
$$\frac{1-p_j^{-(e_j+1)s}}{1-p_j^{-(e_j+e'_j+1)s}}
=\prod^{e'_j}_{i=1}\frac{1-p_j^{-(e_j+i)s}}{1-p_j^{-(e_j+i+1)s}}
=\prod^{e'_j}_{i=1}f_{e_j+i}(p_j^s)\geq f_{e_j+1}(p_j^s)^{e'_j}> p_j^{e'_j\e}$$
となるのでこれらを掛け合わせることで
$$\farc{\s_{-s}(n)}{\s_{-s}(m)}\geq\prod_jp_j^{e'_j\e}=\l(\frac nm\r)^\e$$
を得る。
また$m>n$のとき、少なくともどれか一つは$e'_j>0$となるので真の不等号が成り立つ。よって$n$は優高度合成数である。
また別の表現として次のような公式が成り立つ。これは後の記事でも使われるように不等式や近似と相性のいい公式となっている。
$N$を優高度合成数とし、実数列$\{x_r\}$を方程式
$$x_r^\e=\frac{1-x_r^{-s(r+1)}}{1-x_r^{-sr}}$$
によって定める。このとき
$$\vt(x)=\sum_{p\leq x}\log p,\quad\Pi_r(x)=\prod_{p\leq x}\farc{1-p^{-s(r+1)}}{1-p^{-sr}}$$
とおくと
$$N=\exp\l(\sum^\infty_{r=1}\vt(x_r)\r),\quad\s_{-s}(N)=\prod^\infty_{r=1}\Pi_r(x_r)$$
が成り立つ。
素因数分解$N=\prod^k_{j=1}p_j^{e_j}$において$e_i\geq r$となるような$i$の内、最大のものを$i_r\;(r=1,2,\ldots,e_1)$とおく。このとき$e_1\geq e_2\geq\cdots\geq e_k=1$であったことを思い出すと、
\begin{align}
N&=\prod^{e_1}_{r=1}\prod_{p\leq p_{i_r}}p\\
&=\exp\l(\sum^{e_1}_{r=1}\sum_{p\leq p_{i_r}}\log p\r)
=\exp\l(\sum^{e_1}_{r=1}\vt(p_{i_r})\r)\\
\s_{-s}(N)&=\prod^{e_1}_{r=1}\prod_{p\leq p_{i_r}}\frac{1-p^{-s(r+1)}}{1-p^{-sr}}
=\prod^{e_1}_{r=1}\Pi_r(p_{i_r})
\end{align}
が成り立つ。
いま定理6の証明内の$(*_m)$を思い出すと$e_{i_r}\geq r$より
$$p_{i_r}^\e\leq \frac1{f_{e_{i_r}}(p_{i_r}^s)}\leq \frac1{f_r(p_{i_r}^s)}
=\frac{1-p_{i_r}^{-s(r+1)}}{1-p_{i_r}^{-sr}}$$
であって、また$(*_l)$を思い出すと$e_{i_r+1}\leq r-1$より
$$p_{i_r+1}^\e>\frac1{f_{e_{i_r+1}+1}(p_{i_r+1}^s)}\geq \frac1{f_r(p_{i_r+1}^s)}=\frac{1-p_{i_r+1}^{-s(r+1)}}{1-p_{i_r+1}^{-sr}}$$
が成り立つ。つまり$h_r(x)=x^\e-1/f_r(x^s)$とおくと$h_r(p_{i_r})\leq0,\;h_r(p_{i_r+1})>0$なので$h_r(x_r)=0$なる実数$p_{i_r}\leq x_r< p_{i_r+1}$が存在し、特に$p_{i_r}$は$x_r$以下の素数で最大のものとなる。すなわち
$$\vt(x_r)=\vt(p_{i_r}),\quad\Pi_r(x_r)=\Pi_r(p_{i_r})$$
が成り立つ。
また$(*_l)$から$h_{e_1+1}(2)>0=h_{e_1+1}(x_{e_1+1})$なので$r>e_1$において$x_r<2$が成り立つ(補題3参照)。つまり$r>e_1$において$\vt(x_r)=\Pi_r(x_r)=0$が成り立つ。
以上より
\begin{align}
N&=\exp\l(\sum^{e_1}_{r=1}\vt(p_{i_r})\r)=\exp\l(\sum^\infty_{r=1}\vt(x_r)\r)\\
\s_{-s}(N)&=\prod^{e_1}_{r=1}\Pi_r(p_{i_r})=\prod^\infty_{r=1}\Pi_r(p_{i_r})
\end{align}
を得る。
任意の自然数$n$と$0<\e\leq\log(1+2^{-s})/\log2$に対して
$$\s_{-s}(n)\leq n^\e\prod^\infty_{r=1}\farc{\Pi_r(x_r)}{e^{\e\vt(x_r)}}$$
が成り立つ。特に$n=\exp(\sum^\infty_{r=1}\vt(x_r))$のとき、等号が成立する。
定理$7,8$より$N=\prod^\infty_{r=1}e^{\vt(x_r)}$は優高度合成数となるので任意の$n\neq N$に対して
$$\s_{-s}(n)\leq n^\e\frac{\s_{-s}(N)}{N^\e}=n^\e\prod^\infty_{r=1}\farc{\Pi_r(x_r)}{e^{\e\vt(x_r)}}$$
を得る。また少なくとも$n=N$のとき、この等号は成立する。
以上です。では。
$s=0$の(優)高度合成数に成り立つ性質およびその証明は$s>0$の時とほとんど同じです。というか$s>0$における諸不等式を$s\to0$に飛ばせば全く同じ議論ができるので証明については省略します。
$n$が高度合成数であるとき$e_1\geq e_2\geq\cdots\geq e_k\;(\geq1)$が成り立ち、特に$n\neq4,36$のとき$e_k=1$が成り立つ。
$n$が優高度合成数であるとき、
$$e_j=\l\lfloor\frac1{p_j^\e-1}\r\rfloor,\quad\frac{\log2}{\log p_{k+1}}<\e\leq\frac{\log2}{\log p_k}$$
が成り立つ。逆に任意の$0<\e\leq1$に対して
$$n=\prod^\infty_{j=1}p_j^{e_j}\quad\l(e_j=\l\lfloor\frac1{p_j^\e-1}\r\rfloor\r)$$
で自然数$n$を定めると、$n$は優高度合成数となる。
$N$を優高度合成数とし、実数列$\{x_r\}$を
$$x_r=\l(1+\frac1{r}\r)^\frac1\e$$
によって定める。このとき
$$N=\exp\l(\sum^\infty_{r=1}\vt(x_r)\r),\quad d(N)=\prod^\infty_{r=1}\Pi_r(x_r)$$
が成り立つ。また任意の自然数$n$と$0<\e\leq1$に対して
$$d(n)\leq n^\e\prod^\infty_{r=1}\farc{\Pi_r(x_r)}{e^{\e\vt(x_r)}}$$
が成り立つ。特に$n=\exp(\sum^\infty_{r=1}\vt(x_r))$のとき、等号が成立する。
($s=0$の)優高度合成数を小さい順に$N_1,N_2,\ldots$と置いたとき、$N_1\sim N_{10}$および$d(N_i)$は次のように求まります。
\begin{eqnarray}
N_1&=&2&=&2&\quad&d(N_1)&=&2
\\N_2&=&6&=&2\cdot3&\quad&d(N_2)&=&4
\\N_3&=&12&=&2^2\cdot3&\quad&d(N_3)&=&6
\\N_4&=&60&=&2^2\cdot3\cdot5&\quad&d(N_4)&=&12
\\N_5&=&120&=&2^3\cdot3\cdot5&\quad&d(N_5)&=&16
\\N_6&=&360&=&2^3\cdot3^2\cdot5&\quad&d(N_6)&=&24
\\N_7&=&2520&=&2^3\cdot3^2\cdot5\cdot7&\quad&d(N_7)&=&48
\\N_8&=&5040&=&2^4\cdot3^2\cdot5\cdot7&\quad&d(N_8)&=&60
\\N_9&=&55440&=&2^4\cdot3^2\cdot5\cdot7\cdot11&\quad&d(N_9)&=&120
\\N_{10}&=&720720&=&2^4\cdot3^2\cdot5\cdot7\cdot11\cdot13&\quad&d(N_{10})&=&240
\end{eqnarray}
また対応する$\e_i$の取り得る値の範囲を$\d_{i+1}<\e_i\leq\d_i$とおくとこれらは次のように求まります。
\begin{eqnarray}
\d_1&=&1&=&1
\\\d_2&=&\log_32&=&0.6309\ldots
\\\d_3&=&\log_23-1&=&0.5849\ldots
\\\d_4&=&\log_52&=&0.4306\ldots
\\\d_5&=&2-\log_23&=&0.4150\ldots
\\\d_6&=&1-\log_32&=&0.3690\ldots
\\\d_7&=&\log_72&=&0.3562\ldots
\\\d_8&=&\log_25-2&=&0.3219\ldots
\\\d_9&=&\log_{11}2&=&0.2890\ldots
\\\d_{10}&=&\log_{13}2&=&0.2702\ldots
\end{eqnarray}
そして$\e_i=\d_i$において対応する実数列$\{x_r^{(i)}\}$や$d(N_i)/N_i^{\e_i}$は次のように求まります。
\begin{array}{|c|l|l|l|l|l|l|c|l|}\hline
i&x_1^{(i)}&x_2^{(i)}&x_3^{(i)}&x_4^{(i)}&x_5^{(i)}&x_6^{(i)}&\quad&d(N_i)/N_i^{\e_i}
\\\hline
1&2&1.5&\cdots&&&&&1
\\\hline
2&3&1.901\ldots&\cdots&&&&&1.291\ldots
\\\hline
3&3.270\ldots&2&1.635\ldots&\cdots&&&&1.402\ldots
\\\hline
4&5&2.563\ldots&1.950\ldots&\cdots&&&&2.057\ldots
\\\hline
5&5.312\ldots&2.656\ldots&2&1.711\ldots&\cdots&&&2.193\ldots
\\\hline
6&6.541\ldots&3&2.180\ldots&1.830\ldots&\cdots&&&2.733\ldots
\\\hline
7&7&3.121\ldots&2.242\ldots&1.870\ldots&\cdots&&&2.948\ldots
\\\hline
8&8.611\ldots&3.523\ldots&2.443\ldots&2&1.761\ldots&\cdots&&3.856\ldots
\\\hline
9&11&4.066\ldots&2.705\ldots&2.163\ldots&1.878\ldots&\cdots&&5.103\ldots
\\\hline
10&13&4.483\ldots&2.899\ldots&2.283\ldots&1.963\ldots&\cdots&&6.269\ldots
\\\hline
\end{array}