Erdős problem 830
We say that are an amicable pair if . If counts the number of amicable then one can show that .
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
Retained declaration
FormalConjectures/ErdosProblems/830.leansorry ↔ {(a, b) | IsAmicable a b}.InfiniteOpenStatement only, no proof