If f is a bounded
measurable function on the circle π, then ∫πlog|f|dm > −∞ expresses
the necessary and sufficient condition on f≠0 to be of the form f = g ⋅h
where g,h ∈ H∞. This question was proposed by Douglas and Rudin in [1],
where they approximate unimodular functions on π by quotients of Blaschke
products.