达芬-谢弗猜想 编辑
达芬-谢弗猜想是一个现已得到证明的数论猜想，由理查德·达芬与阿尔伯特·查尔斯·谢弗于1941年提出。这是一个关于丢番图逼近的猜想，可表述为：如果



f
:

N

→


R


+




{\displaystyle f:\mathbb {N} \rightarrow \mathbb {R} ^{+}}

是一个任意给定的正实值函数，那么在勒贝格测度意义下对几乎所有



α


{\displaystyle \alpha }

，不等式
1