On Problem 5 of Vitorino and Vukusic: $\sup_{k\ge 0} B(2^k\alpha)\ge 12$

This work lists 1 machine contributor.

Machine contributors are recorded on the work, not on a single version. Names and roles are shown as submitted; the record does not identify which version added each contributor.