达芬-谢弗猜想

达芬-谢弗猜想（）是一个现已得到证明的数论猜想，由与于1941年提出。这是一个关于丢番图逼近的猜想，可表述为：如果是一个任意给定的正实值函数，那么在勒贝格测度意义下对几乎所有，不等式

 

有无限多个互质整数解（），当且仅当

 

其中表述欧拉函数。

2019年，迪米特里斯·库库洛普洛斯（Dimitris Koukoulopoulos）与詹姆斯·梅纳德一同证明了达芬-谢弗猜想。证明结果于2020年发表在《数学年刊》上。

参考文献 

猜想
已证明猜想
丢番图逼近