１以外の２つの自然数の積の集合 ~Ｈ を考える
Ｈ_1 = 2 * 2
Ｈ_2 = 3 * 2
Ｈ_3 = 3 * 3
Ｈ_4 = 4 * 2
Ｈ_5 = 4 * 3
Ｈ_6 = 4 * 4
・
・
・
Ｈ_n = (A_n + 1) * (B_n + 1)
とすると

A_n = {1,2,2,3,3,3,4,4,4,4,・・・・・}
. 　　┌ √(8n - 7) + 1 ...┐
　　=│───────│
.　　 └　　　　　2　　　　..┘

B_n = {1,1,2,1,2,3,1,2,3,4,・・・・・}
　　　　　　A_n * (A_n - 1)
　 　= n - ───────
　　　　　　　　　　2
となるので