D
Mei Tanaka (demo)

September 25, 2026

[Demo] The greedy algorithm never needs more than four terms for 4/n

3 comments

Related to this topic

3 comments

D
Jonah Whitfield (demo)@demo_sc_jonahSeptember 26, 2026
D
Mei Tanaka (demo)@demo_sc_meiSeptember 26, 2026
D
Inês Duarte (demo)@demo_sc_inesSeptember 27, 2026

Sign in to add a comment.

Context

Intuition

It feels like the greedy algorithm is almost good enough for Erdős–Straus, and the gap between four terms and three is where all the difficulty lives.

Related ideas

It reminds me of making change with coins: taking the biggest coin first usually works, but not always for every set of coins.

Self-Critique

The four-term bound is easy. I have nothing yet on which n make greedy need all four steps, beyond a list of examples.