Open
QED
Docs
Leaderboard
Sign in
Back to problems
Erdős-Straus Conjecture
For every n >= 2, 4/n can be written as a sum of three unit fractions.
Problem
Lean 4
Formalization
Overview
Preliminaries & Notation
References
Sign in to contribute