Prefer a chat interface with context about you and your work?
Jarník-type inequalities
It is well known due to Jarnik that the set Bad of badly approximable numbers is of Hausdorff-dimension one. If Bad(c) denotes the subset of x in Bad for which the approximation constant c > c(x), then Jarnik was in fact more precise and gave nontrivial lower and upper bounds …