ｘ^yの形で表される数を完全ベキ乗数と呼ぶことにする．

　　｛ａn｝＝｛１，４，８，９，１６，２５，２７，３２，３６，・・・｝

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】ゴールドバッハの公式

　　Σ１／（ａn−１）＝１　　（ｎ≧２）

　なお，近年には

　　Σ１／（ａn＋１）＝π^2／３−５／２　　（ｎ≧２）

が成り立つことも証明されたという．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】ａnの漸近個数関数

　完全ベキ乗数のなかでは完全平方数が圧倒的に多いので

　　ａn〜ｎ^2

と予想される．

　　ａn＜ｘとなる個数を計算して，個数〜√ｘであればａn〜ｎ^2である．より正確には

　　個数〜［√ｘ］＋［3√ｘ］−［6√ｘ］＋・・・

　　　　〜√ｘ＋Ｏ（3√ｘ・ｌｏｇｘ）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝