lean_workbook_plus_65865

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

The answer is the number of positive integers in $\{2,3,\dots,999\}$ not divisible by 2 or 3, which is $998-499-333+166=\boxed{332}$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_65865 :
  Finset.card (Finset.filter (λ x => ¬ 2∣x ∧ ¬ 3∣x) (Finset.Icc 2 999)) = 332   :=  by sorry

Source