On to my sixth attempt.  How about the 
[Littlewood conjecture](https://en.wikipedia.org/wiki/Littlewood_conjecture)?

Does this have a known reduction to an arithmetical sentence?