ErdosProblems · test · AMS 11
easyknown result, no worker yet
Erdős Problem 448
Exercise 448 · Erdős
Sanity check: . Divisors lie in dyadic blocks , so the distinct blocks are . (.)
Formal statement · Lean 4.lean
theorem tauPlus_six : tauPlus 6 = 3 := by
sorryProof. sorry
Nobody has tried yet.