Is it true that $$N(b) \ll \log \log b$$?

1∀ {a b : ℕ}, a ≠ 0 → b ≠ 0 → (Erdos304.unitFractionExpressible a b).Nonempty → 0 < Erdos304.smallestCollection a b