婚約数
異なる2つの自然数 n, m の組が婚約数であるとは
σ1(n) = σ1(m) = n + m + 1 となることである。ここで、σ1(n) 、σ1(m) は約数関数である。