ポール・エルデシュ
ψは無理数であると知られている。これはポール・エルデシュ、ロナルド・グラハム、などにより予想され、1989年、Richard André-Jeanninによって証明された。