10世紀のイブン・アル・ハイサムは偶数の完全数(その数自身を除く約数の和がその数自身と等しいもの)を世界で初めて分類しようと試みたと見られ、formula_5が素数のとき、formula_6が完全数となることを発見した。