# Even greedy expansion

My recent subgreedy conjecture on Egyptian fractions implies, not just that the odd greedy algorithm terminates, but also that the corresponding even greedy algorithm (in which at each step we subtract the smallest even unit fraction from the remaining value to be expanded) produces finite expansions. But there's a much simpler proof for this case:

.

.

.

Spoiler:

.

.

.

The even greedy Egyptian fraction for \( q \) can be found by halving every fraction in the greedy expansion of \( 2q \). Since the greedy algorithm produces a finite expansion for \( 2q \), the even greedy algorithm produces a finite expansion for \( q \).