Liouville Function Problem

Let $\lambda (n)$ be the Liouville function. Prove that there exist infinitely many positive integers $n$ such that $\lambda (n) = \lambda (n+1) = \lambda (n+2)$.

import Mathlib.Data.Nat.Factorization.Basic

def Ω (n : ℕ) : ℕ := (Nat.factorization n).sum (fun _ e => e)

def Liouville (n : ℕ) : ℤ := (-1) ^ (Ω n)

theorem solution : ∀ N, ∃ n ≥ N,
    Liouville n = Liouville (n + 1) ∧ Liouville n = Liouville (n + 2) := sorry

Submit Solution

Login to submit a solution.

Recent Submissions

# User Time (UTC) Status
272 Kitsune Long time ago PASSED
271 Kitsune Long time ago Template mismatch
View all