[math-fun] (q;q)_oo (Dedekind eta) approximation