Prefer a chat interface with context about you and your work?
Diophantine approximation with one prime of the form p = x2 + y2 + 1