Erdős problem 830
We say that are an amicable pair if . If counts the number of amicable then one can show that .
Sources
FormalConjectures/ErdosProblems/
830.lean
Retained formal statement
Erdos Problem 830, Part 1 We say that are an amicable pair if . Are there infinitely many amicable pairs?
sorry ↔ {(a, b) | IsAmicable a b}.InfiniteOpenStatement only, no proof