\sigma_x(n)はnの約数d_1,\cdots d_nのx乗の総和と定義する

この特殊なケースとして，x=0なら約数の個数を表す

これちょっと意外性があってよかった（頭いい〜と思ってしまった）

つまり\sigma_0(n) = 2ならnは素数である

d := \sigma_0としてd(n) = 2とも表記することもある

\sigma_1(n) = 2nなら完全数である

\sigma_1(n) = n +1なら素数である