Lowell Schoenfeld mostró que se puede tomar C = 1/(8 π) para todo x ≥ 2657.