Skip to content

Problem

erdos:1052

sorry ↔ {n | Erdos1052.IsUnitaryPerfect n}.Finite

Declared status
open
Formalization
formalized
Prize
$10
OEIS
A002827

unitary perfect numbers

Matching claims

0
No direct claims
This problem has no directly related claim record.