ErdosProblems · test · AMS 11

easyknown result, no worker yet

Erdős Problem 448

Exercise 448 · Erdős

Sanity check: τ+(6)=3\tau^+(6) = 3. Divisors 1,2,3,61, 2, 3, 6 lie in dyadic blocks k=0,1,1,2k = 0, 1, 1, 2, so the distinct blocks are {0,1,2}\{0, 1, 2\}. (τ(6)=4\tau(6) = 4.)

Formal statement · Lean 4.lean
theorem tauPlus_six : tauPlus 6 = 3 := by
  sorry

Proof. sorry

Nobody has tried yet.

Reference ↗ · Lean source ↗