For any real number \t, the set of all real numbers x for which there exists a constant c(x) > 0 such that \inf_{p \in \ZZ} |\t q - x - p| \geq c(x)/|q| for all q in \ZZ {0} is an 1/8-winning set.
生成讲解博客的中文版本
生成AI智能校验的中文版本