text:
Talk:Puerto Williams

I think Puerto Toro (could be written with Torro) is the southernmost continuously inhabitted spot, despite of common misconceptions. It is a small town shown on Chilean maps a bit south of Puerto Williams.

Puerto Toro is indeed the southernmost continuously inhabiabited area in the world. (map:http://www.turistel.cl/mapas_ruteros/rut_k_1.htm). It is a very small town made up of about 50 fishermen and their families.

 * Puerto Toro is a hamlet (caserio), not a "town" (pueblo), according to the INE with a population of 36 in the 2002 census.-- J A X HERE | T a l k 16:42, 3 April 2007 (UTC)

Puerto Williams
Puerto Williams is located on Navarino Island, not in Tierra del Fuego. 200.104.59.54 00:48, 24 November 2006 (UTC)

 * -But Navarino Island is condered to be in Tierra del Fuego archipelago. (Tierra del fuego = Tierra del Fuego Island + Tierra del Fuego Archipelago). Dentren  |  Ta lk  21:42, 6 April 2007 (UTC)

 * Tierra del Fuego is the name of the archipelago (or the name of a Chilean province, but we talk about islands here). The main island is called Isla Grande de Tierra del Fuego. Navarino is one of the islands of the Tierra del Fuego archipelago.--Ratzer (talk) 13:44, 15 April 2008 (UTC)

Southern Town and Population
Is another town with politic administration, city hall and publics offices southern than Puerto Williams? no, doesn't. Then, Puerto Williams is The Southern Town in The World and this condition must to be included in the first block. —The preceding unsigned comment was added by 200.120.188.172 (talk) 23:28, 29 March 2007 (UTC).

 * It was already included in the third paragraph, that's why undid the addition of that information to the very first paragraph of the article.Kilroytech 14:36, 1 April 2007 (UTC)

 * There is a commercial dispute between Puerto Williams and Ushuaia which is the southernmost settlement or town or city in the world (PW is further south, but is arguably little more than a naval base despite attempts to dignify it). Wikipedia either should not get involved in this or should report it in a balanced and impartial way.  I have removed references.  Deipnosophista (talk) 22:52, 26 January 2008 (UTC)

 * There is no dispute anymore... it was resolved by the governments of Chile and Argentina, and it was accepted, that Puerto Williams is officially recognized as southernmost city. You can check the link in the article, which will lead you to an even argentinian source, which confirms the chilean option as southermost city. Regards --194.203.215.254 (talk) 14:58, 29 July 2008 (UTC)

 * The link in the article is talks about a old agremment from the 1990s i dont think it has been ratified/agreed, why should ushuaia or the argentien government agree? Is there any other source that talks about this agreement? I could be false.. Dentren  |  Ta lk  22:56, 29 July 2008 (UTC)

 * The link we are talking about, is not from 1990, but 1998, but anyway this wouldn't be a point to invalidate the argument. It mentions, that a comitee of oficial representants of both countries has formed and decided, that Puerto Williams would be recognized as southernmost city. I see no reason to negate or discredit this source, as it is coming from Argentina's most important newspaper El Clarin . --194.203.215.254 (talk) 09:20, 17 December 2009 (UTC)

 * If you read the talk page of Ushuaia you will see that this suposed agreement was rejected by the Argentine congress see and http://www.lanacion.com.ar/nota.asp?nota_id=101904 Dentren  |  Ta lk  14:36, 17 December 2009 (UTC). I have not found other source that states that such agreement have take place, and Ushuaia continues to promote tourism with the southernmost city slogan.  Dentren  |  Ta lk  14:36, 17 December 2009 (UTC)

Tourist info
Wikipedia is not a touris guide, so any mention of specific facilities (private businesses), should be reserved to those which have some special value or reason to be famous. (example the Hotel Antumalal, in Pucon, hosted Queen Elizabeth in a visit during the 1960's would be worthy of note.)  J A X HERE  | T a l k 16:42, 3 April 2007 (UTC)

 * Lakutaia can be the world's most southern hotel. Jespinos 17:14, 3 April 2007 (UTC)
 * Actually Jespinos is quite right, should we add it back and state that's the reason it's included in the article? There are no other hotels in the Puerto Williams (just a few hostels), nor in Navarino Island, and the ones in Ushuaia are about 15 kms due North, so considering that, Lakutaia is indeed the world's southernmost hotel. Comments appreciated. Kilroytech 03:23, 4 April 2007

(UTC)

 * Unless it can be certified and shown that the hotel has received recognition as being the most southern, by having been published in some recognized, reputable publication, this information might be easily challenged as being "Original Research" which is not acceptable in Wiki. It seems a bit picky, and some information I feel should be included but those are the rules and even a massive vote to include this kind of information won't mean a thing as long as this rule holds.-- J A X HERE  | T a l k 17:21, 4 April 2007 (UTC)

 * Certification is a too strong term I think. Nowadays almost every computer has Google Earth on it, if you activate the grid display, you could easily check there's no way another hotel could be more south than Lakutaia, knowing that there are no other settlements capable of hosting a hotel in other islands due south, there's nothing else but sea on other continents and, Antarctica cannot "host" commercial buildings due to the Antartic Treaty. Pretty unchallengeable information I guess.- Even though, I'll try to find out some publication about the "certification", I've even sent an email to Lakutaia, asking them for info. Kilroytech 19:44, 4 April 2007 (UTC)

 * I doubt if the Antarctic Treaty prohibits 'commercial buildings'; as a matter of fact I have stayed at a Chilean hotel in the Frei base on King George Island, there are banks, post offices etc. in certain settlements. Apcbg 10:11, 5 April 2007 (UTC)

 * I agree with what Kilroytech says but we still have to live within the policy of wiki about No Original Research. If you haven't done so, you may find it useful to check the link I included above.  I'm not excited about this, but we have to accept it if we wish to do work here.  If we don't like it we can try (good luck) in getting the policy changed, or take our efforts to some other place where the policy is more to our liking.   J A X HERE  | T a l k 15:09, 5 April 2007 (UTC)

 * You seem to have missed my point: The hotel discussed here cannot claim to be the southernmost hotel in the world because it is not; there are hotels situated well south of it. I have been to such a hotel, which has even a (German) Wiki article. Apcbg 15:28, 5 April 2007 (UTC)
 * Could it be that user Jaxhere considers your stay at that hotel as original research?--Ratzer (talk) 13:48, 15 April 2008 (UTC)

Definition of a City by Republic of Chile
This should settle this ongoing controversy of whether or not Puerto Williams is a City or just a Town:

Entidad Urbana. Conjunto de viviendas concentradas con más de 2.000 habitantes, o entre 1.001 y 2.000 habitantes, con el 50% o más de su población económicamente activa, dedicada a actividades secundarias y/o terciarias. Excepcionalmente, los centros que cumplen funciones de turismo y recreación con más de 250 viviendas concentradas y que no alcanzan el requisito de población se consideran urbanos. Ciudad (Cd). Entidad urbana que posee más de 5.000 habitantes. Pueblo (Pb). Entidad urbana con una población que fluctúa entre 2.001 y 5.000 habitantes, o entre 1.001 y 2.000 habitantes, con el 50% o más de su población económicamente activa dedicada a actividades secundarias y/o terciarias. Excepcionalmente se asimilan a pueblo los centros poblados, que cumplen funciones de turismo y recreación con más de 250 viviendas concentradas y que no alcancen el requisito de población.

This is copied direct from http://www.ine.cl/canales/chile_estadistico/territorio/division_politico_administrativa/pdf/dpa2001.pdf (hope copyright isn't an issue here?)

From the above it is clear that Puerto Williams is only just considered an 'urban entity' with its 2500 odd residents. Ushuaia passes this threshold by some 60.000 odd residents.

Note that the 2007 report also follows this rule by calling Pica, with 2642 people, a Town ie Pueblo Chuckarg33 (talk) 15:55, 26 May 2009 (UTC)

Re from 2002 census:

COMUNA CUT Entidad Urbana Categoría Superficie Urbana Censal ( Km²) Población Viviendas Punta Arenas 12101               Punta Arenas Cd 39,03 116.005 35.389 Cabo de Hornos 12201             Puerto Williams Pb 1,19 1.952 561 Porvenir 12301                   Porvenir Pb 2,63 4.734 1.377 Natales 12401                    Puerto Natales Cd 5,57 16.978 5.763

Obviously Pb is Pueblo or Town, Cd is Ciudad or City.

This should settle this argument for good, maybe?? Chuckarg33 (talk) 15:55, 26 May 2009 (UTC)
 * Yes there is a contradiction between INE's stadarts and PW claims. Dentren |  Ta lk  16:36, 26 May 2009 (UTC)
 * May be, but note that throughout this last debate the definition of city was never considered from the countries' point of view. Ushuaia has 20 times the population of Puerto Williams but this hasn't discouraged the proponents of Punta Arenas. 201.255.237.47 (talk) 17:56, 26 May 2009 (UTC)
 * But all we can do here in wikipedia is present what others state to avoid personal research and hold a NPOV etc So all we have is what the countries say to define what a city is, in this case, specifically what Chile and what Argentina consider a City and what they consider a Town (its pointless to use the Sweedish definition obviously). Hence for that slogan Ushuaia is 'the southernmost city' while puerto williams is the 'southernmost town', because the other settlements further south aren't considered 'poplation urbana' etc Chuckarg33 (talk) 06:50, 27 May 2009 (UTC)
 * both the INE and the municipality of Chile are official govermental bodies in Chile and they have contradicting statements. And I recall what has been already said by 201.255.237.47 that definition of city was never considered from the countries' point of view. . The fact that INE does not recognise Pw as city is of course an argument against PW claims, but does not decide what a city is or not.

Somewhat tired of this arguing over a slogan
Because I'm getting tired of this arguing to and fro over this slogan, is there consensus to say that in the respective articles:

A)(here) Puerto Williams is sometimes considered the Southernmost City in the world

b)Ushuaia is sometimes considered the Southernmost City in the world

c)Punta Arenas is sometimes considered the Southernmost City in the world

and then make a separate WP article called 'The Southernmost City in the world

is there any consensus for this? Actually I'll start that article and hope the sections on southernmost city can be all sent there. Chuckarg33 (talk) 05:13, 30 May 2009 (UTC)

 * I agree with all points you have mentioned, but I dont see why there should be such article. Each "city" article where the settlement is claiming to be the southernmost city have explantions. I dont see why the discussion should be aponened again (in that article). The subject seems more interesting to wikipedians than others because I still havent found any source on internet that adresses these claims comparing the cities. Dentren  |  Ta lk  11:36, 31 May 2009 (UTC)

There are indeed trees in this area. The page seems to dismiss that fact. — Preceding unsigned comment added by 74.61.27.156 (talk) 18:31, 28 June 2013 (UTC)

title: Talk:Puerto Williams


text:
Mee (crater)

Mee is a lunar impact crater in the southwestern part of the Moon's near side. Overlying the northwestern rim and intruding one-third the distance across the interior floor is Hainzel, a merged triple-crater formation. To the south is the highly elongated crater Schiller. Mee is 132 kilometers in diameter and 2.7 kilometers deep. It is from the Pre-Nectarian period, 4.55 to 3.92 billion years ago.

This is an old crater formation with an outer rim that has been heavily eroded by subsequent impacts, leaving an irregular impression of the crater rim. The inner wall is notched an indented by multiple small craters, with the most recent being Mee F along the northwestern side. Portions of the interior are relatively level, and there is a palimpsest, Mee E, in the northwestern part of the floor. A tiny crater with a high albedo halo is located in the eastern part of the floor.

The crater is named after the 19th-century Scottish astronomer Arthur Butler Phillips Mee.

Satellite craters
By convention these features are identified on lunar maps by placing the letter on the side of the crater midpoint that is closest to Mee.

license: Creative Commons - Attribution Share-Alike - https://creativecommons.org/licenses/by-sa/4.0/

title: Mee (crater)


text:
Talk:Prime-counting function

Early thread(s)
- This is a very strange stub. The format does not fit very well with other math articles, the style is rather poor, and there is an accuracy issue as well (this is what has prevented me from expanding the stub). If I am reading everything correctly, the "recent" discovery is a modified/obfuscated Legendre-Meissel recursion (we're just counting composite numbers by inclusion-exclusion). Suggestions?

Alodyne 01:06, 6 Dec 2004 (UTC)

Edited to handle points of dispute.

This unusual and not terribly effective formula is the work of sci.math denizen James S. Harris, who has produced a large body of work of dubious quality. This morning, he wrote (on sci.math):

''As an experiment I put my prime counting function on the Wikipedia writing the entire article. You could see how a concise prime counting function fits nicely in an encyclopedia artice, and I saw it as an opportunity to see if the math world could behave at all like expected.''

The usual dispute with James Harris is over the quality and relevance of his work. The quality or relevance is, however, quite irrelevant to its appropriateness here, since its the manner of its appearance is directly contrary to Wikipedia policies (specifically, the policy against self-promotion).

That said, having a page on prime-counting functions (with, for instance, Legendre's method) is a good idea. An internal link to the Prime Number Theorem would be worth having, but redirecting seems misleading, since the Prime Number Theorem provides only an approximate count. --Jake 18:18, Feb 1, 2005 (UTC)

Hey, I have an unusual situation in that mathematicians are refusing to acknowledge a correct and interesting mathematical result, which also happens to fit easily into a relatively small encyclopedia article. Notice the disparagement in Wildstrom's comments, when the formula itself is just math.

I emphasize that Wildstrom felt it necessary to disparage. I'm not dealing with people who are behaving objectively from the math world, but they are very emotional on this subject and refusing to just acknowledge a correct mathematical result. It's personal for me as the discoverer, but it remains to be seen why it's so personal to them.

I have what is an actual prime counting function. It is easily derived, but I derived it, and apparently mathematicians have decided for that reason they will never acknowledge it.

I plead a special case here as look at the current article and consider how abstruse it is, versus my article.

Also note that no one not an expert in the field could actually count primes with the current article, but my formula allows a non-expert in the field to actually do so, plus I give the additional information about the prime number theorem and current research.

I say that mathematicians are just being weird here, and obviously, if mathematicians refuse to acknowledge a correct and easily proven result, then I run into a problem putting up a citation!

JSH 18:56, 5 Feb 2005 (UTC)

I've added a normal sort of prime-counting function page, which I may expand on. Gene Ward Smith 02:26, 3 Feb 2005 (UTC)

Consider, the page was reverted back to the redirect and then there was no prime counting function article for a while, until after I mentioned my experiment on the sci.math newsgroup THEN someone came to try and write an article versus just leaving the re-direct to the prime number theorem.

Now compare their abstruse, hard to understand prime counting function article, which does not contain a formula that a non-expert can use, with my own, and the real issue here I think is a bizarre case of mathematicians fighting to not acknowledge a correct result.

The rules limiting to cited research don't handle a situation where the experts are not behaving as expected with an easily derived math formula, where correctness is not in doubt.

JSH 18:56, 5 Feb 2005 (UTC)

I think the article needs to have the methods of getting an exact count on prime numbers (other than a brute-force sieve), or either a link to a page that has that information. Bubba73 22:05, 21 Jun 2005 (UTC)

Most of the methods for counting prime numbers, especially the ones actually used, are too involved for an encyclopedia article. My prime counting function is distinctive in that it's short enough for an article, while it is slow, though a fast algorithm derived from it is even smaller, so it is small enough with a fast algorithm to fit in an article.

But my research isn't published in a math journal, so I'm not supposed to put it up. And don't think I could put it up anyway without people coming out of the woodworks to tear it back down as math people are VERY active in fighting my research, mostly relying on personal attacks, like you can see earlier on this talk page.

The real math field is nothing like what many of you probably think it's like, as people are very committed to promoting their careers and academics see amateurs like myself, especially in very high profile areas like prime numbers as not helpful to their own careers.

For instance, I had a paper on a different subject though still number theory published in a peer reviewed electronic math journal and people from sci.math got together and mounted an email campaign against it and the journal folded, pulling my paper, which they could try to do being an electronic journal, though it is unheard of.

So I have the message loud and clear from the mainstream math world which is they will not accept my work despite it being correct, and the rest of the world does not matter.

It's my math, as far as they're concerned, and what's my math is to be rejected without regard to its mathematical importance.

Of course, it's annoying to me, but the world pays the price, though someday I guess, as has happened with past research fought by some group or other it will be "discovered" and I'll just be another story to add to a long list of people with major results who had to fight against the established "experts" who saw their efforts as a threat.

Nothing changes in this area. People don't learn from history.

JSH 21:21, 27 August 2005 (UTC)

What amazes me is how easily math people get away with dumb crap, like writing an article on counting prime numbers that doesn't actually show you known methods to count prime numbers.

The authors of this article just glancingly mention "arithmetic" methods only go off on a tangent talking about work related to the Riemann Hypothesis.

For those who want to see actual "arithmetic" prime counting formulas see the much better article at MathWorld:

http://mathworld.wolfram.com/PrimeCountingFunction.html

I've sat and waited and waited, hoping that someone from the math community would step up and do the service of writing a real article on prime counting for the Wikipedia, but the math community doesn't care.

Compare the MathWorld article to Wikipedia and see what I mean.

JSH 04:10, 13 September 2005 (UTC)

Oh, and hey, I think it's worth it to compare both articles to my own reverted article:

http://en.wikipedia.org/w/index.php?title=Prime_counting_function&oldid=9142249

My article also talked about figures from the history of prime counting, like Gauss and Chebyshev while the current Wikipedia article acts as if prime counting started in the late 1800's with Riemann!

It's bizarre how bad that article is--like, not even mentioning Gauss??!!!--and how the community here is tolerating that, especially given that it was a reaction article from Usenet, when I talked about having written the first prime counting function article for Wikipedia, as before there was a re-direct.

My guess is that some college students fixated on the Riemann Hypothesis as it's the big thing now wrote the article, and being kids they don't appreciate, or maybe even don't know the rich history in this area, which the interested reader can get more of at the MathWorld article, or hey, at mine.

And them not mentioning Euler or Chebyshev is just amazing to me, as Euler is the one who presented the zeta function, and Chebyshev is the one who did the early limit work that others built upon, so these students--assuming they were--might not have been doing in-depth studies OR their teachers aren't doing their jobs.

JSH 15:43, 25 September 2005 (UTC)

And finally the article has been updated!!! So a lot of my past criticisms no longer apply.

Intriguingly though, some of the updates include an interesting sieve function which is, it turns out, very closely related to my own prime counting function, and looks a lot like one key piece of it.

In any event, I'm just happy a fuller article was finally written.

JSH 21:31, 13 November 2005 (UTC)

Riemann's counting function
In the section on other counting functions, J(x) is given as
 * $$J(x) = \sum_{n=1}^\infty \pi(x^\frac{1}{n})$$

shouldn't that be
 * $$J(x) = \sum_{n=1}^\infty \frac{1}{n}\pi(x^\frac{1}{n})$$

? --Monguin61 01:52, 21 December 2005 (UTC)

Explicit formula
Does anyone know what definition of Li is used in the Riemann-von Mangoldt formula? -- EJ 20:01, 15 January 2006 (UTC)

 * Nevermind, I found it here: . It is quite a mess, actually. I'll try to fix the article later. -- EJ 18:02, 16 January 2006 (UTC)

To me the experiment all along has been to see if information in and of itself has a chance to get picked up and acknowledged.

It does not. It has to be promoted. It has to be pushed forward against resistance.

You need to be a politician as well as a discoverer or you're just waiting and hoping until some politician picks up your ideas and promotes them, which is a lesson from history as well.

Ideas don't get picked up because of their inherent value, but their value is only seen by groups as a result of the efforts of some people to promote them.

Politics is a crucial part of the researchers' toolkit.

Moving forward as I look to more social ways to make the information enticing, and to excite the imaginations of people about that information, I want it part of the record that knowledge in and of itself, is not enough.

The reality of getting results known is a political process. You have to promote, campaign, and figure out some way to excite people about the information you have, no matter how huge it is.

I know how big my find is, and how much ground in prime research it covers, but none of that matters to the simple ability of most people to just not notice.

That's the real lesson here, and I think that ends my experiment.

JSH 18:06, 8 April 2006 (UTC)

Comparison Plot
here is a comparison plot (ratios) of n/ln(n),Riemann pcf,actual and the approx found on main page (round[exp(x-A*z+B)])

Comparison plot

Now, a power fit to the first 3 significant digits provides the following approx:

#primes ~ 504.47/(logN**1.0434)     [w/ user adding the appropriate power of 10]

Thus, for N=23, the eqn returns 19.1 with E20 implied

This approx uses data for n>=10^6 and returns a value within 1% of the actual.
 * updating above thru 10^29, #primes ~ 4872/(logN^2.822)     [w/ user adding the appropriate power of 10]
 * and returns value within 4% Billymac00 (talk) 15:12, 16 August 2022 (UTC)

Realizing that the denominator power likely is tending towards unity, and reworking gives

#primes ~ 1.022*N/lnN

This approx returns a value within 1% of the actual for n>=10^14.--Billymac00 20:57, 20 June 2006 (UTC)
 * the above estimates primepi(10^27) as 16438850389078643254053843. However, a completely different approach (3/21/2015) estimates 16921932166972187992181811.

Both are within the lower and upper bounds available at 1

Questioning controversy
With natural numbers x and n, where $$p_i$$ is the i_th prime then

 * $$P(x,n) = x - 1 -\sum_{i=1}^n {(P(x/p_i,i-1) - (i-1))}$$

where if n is greater than the count of primes up to and including $$\sqrt{x}$$ then n is reset to that count.

P(x,n), with n equal to the count of primes up and including $$\sqrt{x}$$ is the count of prime numbers up to and including x and that is just a simple formula that can be related to what was previously known in the field. More compact than anything else similar in the prime counting area.

The fully mathematicized form of the prime counting function shown above, where you don't find find a list of primes first--because the formula finds the primes on its own--is, if $$y\le\sqrt{x}$$ then

 * $$P(x,y) = \mathrm{floor}(x) - 1 -\sum_{k=2}^y {((P(x/k,k-1) - P(k-1,\sqrt{k-1}))( P(k,\sqrt{k}) - P(k-1,\sqrt{k-1})))}$$

else $$P(x,y) = P(x,\sqrt{x})$$.

Either way gives the same count of prime numbers, of course, but the fully mathematicized form doesn't need to be given a list of primes up to $$\sqrt{x}$$, which is how this formula is crucially different from what was previously known in the field.

So you get simplicity one way--compare with prime counting functions on the main page--and complexity another way that does something never seen before, and that should add up to mathematical interest for the math community.

Yes, I've contacted mathematicians including mathematicians leaders in the field in this area, and just any mathematician I could try to get to pay attention and even none mathematicians. I've also tried to get these results published in a mathematical journal, to no avail.

Turning to the web and Usenet I've gotten ridicule which has been sharp, personal and often cruel with more energy directed the more I question the current math community's behavior, and there seems to be no way to stop them. It's like they have absolute power and are willing to use it to block whatever suits them to block.

When before I would have assumed that math was just of so much interest to members of that community that they embraced new results, whatever the source.

And you can see similarities to what was previously known but it IS different in key ways. However, I discovered that formula a few years ago and ran into a wall from the math community simply refusing to properly acknowledge or record it. They behave like they own math and attack people they see as interlopers, refusing to acknowledge information from outsiders and when you have people breaking rules in such a wacky way, what can you do?

I tried writing a page that showed the more complex form of that equation, which is the fully mathematicized version and you can see at the top of this discussion page how well that went over, but hey, I'm desperate. Math people are just saying no, refusing to acknowledge a simple formula that counts primes that is different in special ways from what was previously known and there seems to be nothing I can do about it. JSH 02:37, 8 November 2006 (UTC)

HI..james although i'm not a teacher i find your article interesting could you give your mail?? or similar for contact ?? i would like to take a look at your article. --Karl-H 14:46, 4 April 2007 (UTC)

 * James, as your humble archivist, you know I cling to your every word. So you make it really difficult when you start flinging your words around the internet like this.  Besides, it is clear that this talk page is not an appropriate forum.  It's for discussing editorial decisions regarding the article, not for drumming up support for original research.
 * Come on now. Let's return to our usual settings.  Thanks much. Phiwum 03:26, 7 November 2006 (UTC)

But, as to your formula, my favorite part is the "floor(x)" where x is a natural number. Shouldn't that be "floor(ceiling(abs(x+1-1)))"? Or, I guess x would also work since it's a nonnegative integer and floor, ceiling, absolute value and adding and subtracting 1 each all do nothing to it.

The tetralectic who?
An unregistered editor added a link to the Tetralectic constant page. That page gives a "famous" result prove in 2006. The only references are to Yahoo search results, which I did not wade through. Google comes up empty for both "Tetralectic constant" and "Tetralectic theorem". Is this a real result? If so, maybe someone can clean up that very young article. If not, perhaps a CfD is in order. Phiwum 15:11, 30 November 2006 (UTC)

 * "Tetralectic constant" was poor OR and deleted 6 December 2006 after Articles_for_deletion/Tetralectic_constant. PrimeHunter 11:42, 13 January 2007 (UTC)

Lehmer and prime counting function
I'm not quite sure that this is relevant - but I'll post it anyway. I seem to remember (from reading one of the Berndt/Ramanujan volumes) that Derrick Lehmer's values for $$\pi(x)$$ were out by unity - because (for some reason best known to himself) Lehmer took unity itself to be prime. Does this have any relevance to his contributions? Hair Commodore 19:22, 12 January 2007 (UTC)

 * A few yrs ago I chatted with an analytic # theory professor with a PhD from Berkeley, and I asked her about Lehmer: "Is he the guy who always said 1 is prime?" She smiled and said "1 is prime." Everyone laughed and somebody said 'It's a Berkeley thing." --I sometimes wonder if the analytic # theorists have some reason for wanting 1 prime to make some formulas or theorems in their area work better. Of course, 'regular' # theory wants 1 to be neither prime nor composite to make the Fundamental theorem of arithmetic work.Rich 05:49, 15 March 2007 (UTC)

What about the sum of the primes less than x?
Does anyone know what work has been done on that? And sum of squares of primes less than x, etc? (Analogy with divisor functions) Perhaps Wikipedia could have an article on it.Rich 05:22, 15 March 2007 (UTC)

Archiving JSH
Although the page is not that large, JSH's apparent failure to sign his missives suggest that we move them to a subpage so we can sign them for him. Sections 0 (most of, anyway), 2, and 4 seem to be JSH's. I'm not saying that JSH's formulas are wrong, but they're self-published repeating multiple times, and, being 2-d recursive, not particularly notable, even if apparently fairly simple. Any comments? — Arthur Rubin | (talk) 16:32, 4 April 2007 (UTC)

 * someone removed the formula:

 * $$ \pi (x) = \sum_{n=1}^{\infty} \frac{\mu (x)}{n}J(x^{1/n}) $$

In fact this appears in [] but with different name (they call it f(x) instead of J(x) ) --Karl-H 18:34, 4 April 2007 (UTC)

 * The formula already appeared a few lines further down. — Arthur Rubin |  (talk) 22:51, 4 April 2007 (UTC)
 * Nope, I was wrong. I've re-added, and removed second reference to Möbius inversion.  Sorry about that. — Arthur Rubin |  (talk) 22:57, 4 April 2007 (UTC)

Requested move
Michael Hardy has moved this article from Prime counting function to Prime-counting function without prior discussion. I suggest to move it back per Naming conventions. The form without hyphen seems much more common and it's the only form I have found in the online references in the article. Michael Hardy does apparently not dispute that the form with hyphen is less common, but he thinks the hyphen makes the name easier to understand and should be included for that reason. See the discussion at User talk:Michael Hardy. PrimeHunter 16:34, 7 July 2007 (UTC)

Prime counting function
I see "prime counting function" more often than "prime-counting function". I just did a Google scholar search where the former was also more common. I think this name change is controversial and should be discussed first. PrimeHunter 00:01, 7 July 2007 (UTC)

 * Here's something I said about hyphens on the discussion page of another article I moved:
 * This article's title, Guyou hemisphere in a square projecction, sounded as if it was about something called a Guyou hemisphere that was in something called a square projection. After reading a bit, I realized that was not what was meant.  That's why I added the hyphens.  Yet another case of how hyphens can be magnificently efficient in conveying information, and why it is to be regretted that their use is often no longer taught. Michael Hardy 12:56, 5 July 2007 (UTC)
 * That's also the only reason the hyphen was omitted in this case. Michael Hardy 00:09, 7 July 2007 (UTC)
 * Editors could often argue a lot about what is the "best" name by their own preference. I think we should follow Naming conventions. I just looked at the online references in prime-counting function and didn't find a single hyphen. Wikipedia is here to report what sources say and not to promote an agenda - not even an apparantly harmless one like increasing the use of hyphens. PrimeHunter 00:34, 7 July 2007 (UTC)
 * That's also the only reason the hyphen was omitted in this case. Michael Hardy 00:09, 7 July 2007 (UTC)
 * Editors could often argue a lot about what is the "best" name by their own preference. I think we should follow Naming conventions. I just looked at the online references in prime-counting function and didn't find a single hyphen. Wikipedia is here to report what sources say and not to promote an agenda - not even an apparantly harmless one like increasing the use of hyphens. PrimeHunter 00:34, 7 July 2007 (UTC)

Hyphens are something everyone's accustomed to seeing since they're still used in the traditional way in newspapers, magazines, and books, and this particular hyphen, like many hyphens, aids understanding. "Prime counting funnction" could be taken by the reader to mean one of many "counting functions", singled out as the "prime" one. But that is not what is meant. The hyphen makes that clear. Michael Hardy 15:17, 7 July 2007 (UTC)

 * I have suggested to move back at Talk:Prime-counting function. PrimeHunter 16:35, 7 July 2007 (UTC)

Table of π(x), x / ln x, and Li(x)
The significance of the differences between π(x) and x / ln x, and π(x) and Li(x), depends on the magnitude of the values, and as the numbers get large it's increasingly difficult to tell by eye how significant these differences actually are. Suggest replacing with a table that in some suitable way shows the relative error. This would be more useful for getting a quick idea of how accurate the approximations are. Matt 19:55, 2 January 2008 (UTC).

Prime Counting Function With arctan
About 3/4 of the way down the page is a formula for pi(x) that has an arctan in it. Is this formula true? I cannot find it in the literature. Does anyone have a reference for it? —Preceding unsigned comment added by MathPerson (talk • contribs) 18:39, 21 April 2010 (UTC)

Might be useful?
the mobius numbers satisfy sum mu(n)/n=0 and this explains why the literature defines the R-function with either li or Li — Preceding unsigned comment added by 2A00:1620:C0:64:21C:61FF:FE03:A4C (talk) 07:49, 16 December 2012 (UTC)

'log' and 'ln'
I don't think the decimal logarithm is being used at all in this article, so somebody with time should--if s/he knows the wikipedia standard--make all uses here one or the other.204.108.237.194 (talk) 20:09, 22 December 2012 (UTC)

Standardizing Wikipedia is a very ambitious goal. Clarifying an individual article is much easier, though, which is why I added the text "where log is the natural logarithm" to this article.DubleH (talk) 12:15, 13 August 2022 (UTC)

Better prime counting formula
a better basic prime counting formula is proposed as follows:

$$ \pi(x)=\alpha.x^{\beta} \quad \textrm{with:} \quad \alpha=0.0777498457 \quad and \quad \beta=0.9732770961$$

The error in this calculation ranges mostly between -4% to +4% for x below 1E+25 and seems to be better than the pure version of the Logarithmic Integral x/lnx.

Chrisdecorte (talk) 15:40, 11 September 2013 (UTC)

 * This is original research so it doesn't belong in the article. Anyway, over large ranges your approximation is far worse than x/ln(x).
 * The prime number theorem says $$\lim_{x\to\infty}\frac{\pi(x)}{x/\ln(x)}=1$$.
 * Your approximation has $$\lim_{x\to\infty}\frac{\pi(x)}{\alpha.x^{\beta}}=\infty$$.
 * For a specific small range you can choose α and β to match that range OK, but it always breaks down over large ranges. π(x) simply doesn't grow like that. This is a proven fact so it's no use trying to find the "right" α and β. At http://groups.yahoo.com/neo/groups/primenumbers/conversations/messages/25295 I gave data computed by PARI/GP for other α and β suggested by you. Here it is for your above values:

// http://oeis.org/A006880 Number of primes < 10^n {A006880=[4,25,168,1229,9592,78498,664579,5761455,50847534, 455052511,4118054813,37607912018,346065536839,3204941750802, 29844570422669,279238341033925,2623557157654233,24739954287740860, 234057667276344607,2220819602560918840,21127269486018731928, 201467286689315906290,1925320391606803968923, 18435599767349200867866,176846309399143769411680];}

c(x)=0.0777498457*x^0.9732770961; \p 5 print("x, pi(x)/c(x), pi(x)/(x/log(x)), pi(x)/(x/(log(x)-1))"); for(n=1,#A006880,x=10^n;p=A006880[n];\ print("10^"n" "p/c(x)" "p/(x/log(x))" "p/(x/(log(x)-1))));

x, pi(x)/c(x), pi(x)/(x/log(x)), pi(x)/(x/(log(x)-1)) 10^1 5.4712 0.92103 0.52103 10^2 3.6365 1.1513 0.90129 10^3 2.5988 1.1605 0.99250 10^4 2.0218 1.1320 1.0091 10^5 1.6781 1.1043 1.0084 10^6 1.4605 1.0845 1.0060 10^7 1.3149 1.0712 1.0047 10^8 1.2123 1.0613 1.0037 10^9 1.1378 1.0537 1.0029 10^10 1.0829 1.0478 1.0023 10^11 1.0422 1.0430 1.0019 10^12 1.0122 1.0391 1.0015 10^13 0.99050 1.0359 1.0013 10^14 0.97553 1.0332 1.0011 10^15 0.96607 1.0308 1.0010 10^16 0.96126 1.0288 1.0008 10^17 0.96046 1.0270 1.0007 10^18 0.96319 1.0254 1.0006 10^19 0.96908 1.0240 1.0006 10^20 0.97785 1.0227 1.0005 10^21 0.98929 1.0216 1.0005 10^22 1.0032 1.0206 1.0004 10^23 1.0196 1.0196 1.0004 10^24 1.0383 1.0188 1.0004 10^25 1.0592 1.0180 1.0003
 * All you have done with the new α and β is change the small range where the approximation is OK. Now it is around 1012 to 1013. PrimeHunter (talk) 23:33, 11 September 2013 (UTC)

I checked it again for these bigger numbers and your remark might be correct. Therefore I temporarily suggest following improved formula:

$$\pi(x)={\alpha.x^{\beta}.10^{(\gamma-x)}+x/\ln x\over 1+10^{(\gamma-x)}} \quad \textrm{with:} \quad \alpha=0.2083666 \quad \beta=0.9294465 \quad \gamma=1E+10 $$

Chrisdecorte (talk) 03:11, 13 September 2013 (UTC)
 * Still no. Fitting polynomials is the wrong thing to do here, and by making your guesswork more complicated you're merely hiding its incorrectness rather than making actual progress. The error in the x/log x approximation is known and does not have the form you show. Rather, there is a small error (but still larger than your correction terms) coming from approximating the prime-counting function by the logarithmic integral (see the History section of this article) and larger error terms coming from the approximation of the logarithmic integral by x/log x: see Logarithmic integral function. —David Eppstein (talk) 18:10, 13 September 2013 (UTC)

 * Yes, and I wonder whether you really meant your expression to contain 1010000000000−x. That's not practical. PrimeHunter (talk) 18:19, 13 September 2013 (UTC)

I really appreciate your feedback and I could come back with a new attempt replacing x/lnx in my last formula with 10^(0.9732770526*LOG10(x)-1.10929958) which is the linear approach for values between 1E+10 and 1E+25 and which is better than x/lnx in 7 out of the 16 examples. However, who will tell how things will progress (far) after 1E+25??? Actually, what puzzles me most is how Riemann could find the expression x/lnx ... Chrisdecorte (talk) 19:32, 13 September 2013 (UTC)

 * As demonstrated above, x/(log(x)-1) is a good improvement over x/log(x), and it's known to remain good: If f(x) is defined as the function which makes π(x) = x/(log(x)-f(x)), then it's proven that f(x) tends to 1. I'm guessing your increasingly complicated expressions are worse than the simple x/(log(x)-1). PrimeHunter (talk) 22:52, 13 September 2013 (UTC)

The f(x) that is talked about above should fit following couples: x      f(x) 1E+05	1.085196823 1E+10	1.05037 1E+12	1.04087 1E+19	1.02460 1E+25	1.01835

This corresponds with approximations like: f(x)= 1.0886089228x-0.0012909804 or f(x)= -0.0013531392*ln(x) + 1.0881210617 Chrisdecorte (talk) 05:56, 17 September 2013 (UTC)
 * Chris and others, could I respectfully suggest that this discussion be taken somewhere other than Wikipedia? Neither this talk page, nor anywhere else on Wikipedia, is for discussing unpublished mathematical theorems and methods.  There are a number of mailing lists, newsgroups, and web forums where this sort of discussion could continue. —Psychonaut (talk) 20:31, 17 September 2013 (UTC)

Unusable But ...
from Formula for primes Talk, someone posted this eq'n, which quickly is unruly but it seems to work. I show in the format for Pari: PrimePi(n) = 2+sum(x=5,n,(floor( (x!/x^2)-floor(x!/x^2)+0.3 ))). --Billymac00 (talk) 23:46, 29 July 2014 (UTC)

Request to add a li based formula.
I request that the formula that was removed be put back. In the words of user Sapphorain: "the proposed formula was just an imprecise reformulation of the formula for Pi_0 just above". In that case, a formal citation should not be needed.

I propose to add (right below "An extensive table of the values of Δ(x) is available."):

"""There is also a logarithmic integral based formula for the prime counting function.
 * $$\pi(x) = li(x) - log(2) - \sum_{k=2} \frac{\pi(x^{1/k})}{k} - \sum_\rho li(x^\rho)+\int_x^\infty dt/(t*(t^2-1)*log(t))$$

This formula is interesting with its recursive pi(x) calls (requiring negligible computation), and has only one li(x) term per zeta zero. It may be better suited for computer calculations. The final term can be included for correctness, but is always smaller than 1/(2*x^2*log(x)), and can be removed in calculations because of its small size."""

NumberCurious (talk) 00:45, 16 June 2016 (UTC)
 * Most of the things you want to say about this formula ("interesting"..."negligible computation"..."better suited for computer calculations"..."always smaller and can be removed") require reliable sources. And if we omit saying these things (because they're unsourced) there isn't much left of interest. —David Eppstein (talk) 00:57, 16 June 2016 (UTC)

Sources: riemann_pi.gp (original publishing of the formula), paper using formula (page 8 in particular, which demonstrates the correctness of the formula), and the (July, August, September 2014) addition to the Google code project "primecounter", which is a complete reprogramming of the formula, with optional modifications and error tables. How shall we proceed? NumberCurious (talk) 04:36, 16 June 2016 (UTC)
 * We could start by you telling us the peer-reviewed mathematics journals those were published in. Because otherwise they don't look reliable for this material. —David Eppstein (talk) 05:38, 16 June 2016 (UTC)

It was stated above that the proposed formula is a reformulation of a formula already on the page (we don't need a peer-reviewed mathematics journal for a single mathematical step). The formula is interesting in that it is "logarithmic integral based", not requiring the Riemann prime counting function or the Gram series. A series or asymptotic expansion can be used (both on the logarithmic integral page). Code has been provided. Any reviewer can run this code and verify the formula. The four color theorem comes to mind, which used exhaustive computer search. I am stating computer verification of the formula as a source. I also believe that the page would be better with the formula than without.

NumberCurious (talk) 18:57, 16 June 2016 (UTC)
 * The proposed formula is a trivial (and imprecise) reformulation of the formula just above, i.e.
 * $$\Pi_0(x) \left(= \sum_{n=1}^\infty \frac1n \pi_0(x^{1/n})\right) = \operatorname{li}(x) - \sum_{\rho}\operatorname{li}(x^{\rho}) - \ln 2 + \int_x^\infty \frac{dt}{t(t^2-1) \ln t},$$
 * and there is thus no reason nor interest to mention it in addition. Even with the four colour theorem in mind. Sapphorain (talk) 19:38, 16 June 2016 (UTC)

I believe we have a minor typo, the capital pi, $$\Pi$$ is being used for the Riemann prime counting function, a lower case pi, $$\pi$$ is being used for the prime counting function. We need to change the capital character in the formula to a lowercase letter. This typo confused me. I would correct the typo myself right now, but considering the controversy of my proposed addition, I will leave it to someone else to make the correction. To be precise, the formula with the typo is:
 * $$\Pi_0(x) = \operatorname{li}(x) - \sum_{\rho}\operatorname{li}(x^{\rho}) - \ln 2 + \int_x^\infty \frac{dt}{t(t^2-1) \ln t}.$$ which is in the "Formulas for prime-counting functions" section.

NumberCurious (talk) 00:39, 17 June 2016 (UTC)
 * It is not a typo. It is a different function. The distinction between the two different functions given by lowercase and uppercase pi is explained in the section "Other prime-counting functions". —David Eppstein (talk) 00:50, 17 June 2016 (UTC)

I believe that a subtle error is being made. I have used the formula in two major computing projects, to compute the prime counting function, not Riemann's prime counting function. Shall I correct the mistake? NumberCurious (talk) 18:09, 17 June 2016 (UTC)

Re-instatement of inequality limits edit
I have re-instated the edit by Drriemann. His original edit has merit. It was removed by Sławomir Biały because it was primary/self-published source material. If you disagree with my re-instatement please state why the published article in arXiv is not reliable. It looks sound to me. Frank M Jackson (talk) 12:26, 25 June 2016 (UTC)

 * Arxiv is not a peer-reviewed reliable source. Furthermore, typically original research articles are primary sources (e.g., for a theorem proven in that spurce), while Wikipedia should be based on secondary sources.  Sławomir Biały  (talk) 12:44, 25 June 2016 (UTC)

 * I agree that the their paper in Arxiv appears to be a primary source but we cannot be certain. It may have been publish originally in the maths dept at Bristol University with proper peer-review. Certainly the authors would not be allowed 300 hours of running time on nodes of the University of Bristol’s Bluecrystal cluster if they were not carrying out peer-reviewed research. I have read the article and my view is that the original edit should remain. Frank M Jackson (talk)

 * So, we agree that it is a primary self-published source. Our guidelines therefore suggest that the source is not appropriate for the encyclopedia.  Sławomir Biały  (talk) 13:24, 25 June 2016 (UTC)

 * No, I have said that it "appears" to be a primary self-published source and I have given you reason for doubting this. All wikipedia rules are not black and white. These rules should not be applied pedantically. However, if you genuinely believe that the original edit and paper have no merit revert my edit. If you do I will not pursue the matter further but I think that you will diminish the article. Frank M Jackson (talk) 13:55, 25 June 2016 (UTC)

It is a primary self-published source, by definition. There's very little room for interpretation. True, there are shades of grey sometimes, but this isn't one of those. Sławomir Biały (talk) 14:04, 25 June 2016 (UTC)
 * Arxiv is not at all a reliable source. It is not peer-reviewed (some cranks have been able to publish their complete works on it). If this result is sound and valuable, there is no doubt it will eventually be published in a good peer-reviewed journal, and be reviewed by MathSciNet and Zbl. Then, and only then, it can be mentioned in a wikipedia article. In the meantime it is not proved encyclopedic, must be deleted, and I will delete it now. The argument that it "may have been published originally at the maths dept at Bristol University with proper peer-review" is ridiculous: nobody publishes a paper at Arxiv after publishing it in a good journal! And even if it were the case, we need a good source to prove that before we can mention the paper. Sapphorain (talk) 19:58, 26 June 2016 (UTC)

 * Gentlemen, I have looked on Google scholar for the paper in question and have found that is has been officially published by Experimental Mathematics, 2015 - Taylor & Francis. The paper has been cited 3 times according to Google Scholar. See

http://www.tandfonline.com/doi/abs/10.1080/10586458.2014.990118?journalCode=uexm20
 * This goes to show that one should not delete edits from the standpoint that it "appears" to be primary/self-published source material simply because the paper has been downloaded to ArXiv by one of its authors. Of course, I should have investigated further as to which journal it had been published so as to support my original re-instatement.
 * Can one of you please re-instate the edit so that the paper referenced in the article is properly cited and can be downloaded? Thanks. Frank M Jackson (talk) 19:51, 27 June 2016 (UTC)
 * Yes, it is true that a corrected version of the paper has appeared in Exp. Math 24, 3 (2015), 289-294, and that it has been now reviewed by MathSciNet. So I agree that the reference to this version   can be reproduced by wikipedia (and not the ArXiv version: the result is not exactly the same). The paper can of course not be downloaded, however: this publication is not free, and wikipedia is not a university maths department! Sapphorain (talk) 22:13, 27 June 2016 (UTC)
 * Regarding the statement that "one should not delete edits from the standpoint that it "appears" to be primary/self-published source material simply because the paper has been downloaded to ArXiv by one of its authors" my point of view is that it is exactly the other way around: it should on the contrary be deleted without delay unless a proof is provided that it has been published in a good journal. As it happens, the ArXiv version does not appear reliable in this case and thus its mention is not acceptable here. Sapphorain (talk) 22:32, 27 June 2016 (UTC)
 * I'm not sure I agree with the statement that MR reviews are a necessary and sufficient condition for inclusion (that was also recently made about another one of Drriemann's contributions, which was also a Dudek reference). Ideally a secondary source should be better than an MR review, like a peer-reviewed scholarly source that discusses the work in context.  MR reviews do not rise to that standard: they are not peer reviewed, and generally do not make evaluative claims.   S ławomir  Biały  00:25, 28 June 2016 (UTC)
 * In many cases MR "reviews" merely copy the abstract of the paper. Only the ones with a listed reviewer, and original text, should be counted as sources at all. —David Eppstein (talk) 01:07, 28 June 2016 (UTC)
 * Yes, I agree that an MR review all by itself is not sufficient, and that it should not be a reproduction of the abstract (in this case it is original text, by Raul Duran Diaz). Ideally, we should wait until this article is in turn cited as reference in another paper reviewed by MR. Given the nature of the result, which entirely settles under the RH an inequality of Ramanujan, I am convinced that this will eventually be the case, probably very soon. But we can wait until this happens. Sapphorain (talk) 07:17, 28 June 2016 (UTC)

Link? and new link
https://link.springer.com/article/10.1007%2Fs11139-011-9362-6

This is a paper with the that deals with $$\pi^2(x)$$ Ramanujan formula.

The link stated with this formula must be the wrong book. Try to check if it should be book four instead of three. I do not have them so I can not.

 * The slightly later 2013 paper indicates it is in Berndt part IV. Indeed, it is in chapter 24, pages 112-113 of that book, shown as "Entry 2 (p. 310)".  It also references the work of Wheeler ("An inequality of Ramanujan") and Keiper/Galway (no direct refernce) doing calculations related to this.  DAJ NT (talk) 21:08, 27 February 2018 (UTC)

Recent work of Kristyan
I noticed this work 1, and while I cannot speak to the paper's quality, the formula offered seems to work well through the 10^27 entry of the article. I just make note of it...--Billymac00 (talk) 00:23, 31 July 2018 (UTC)

 * Why not just use the logarithmic integral? I mean, sure, using another term in the asymptotic expansion will help, although it's a little silly to claim that it's counting the twin primes (especially since the next term has coefficient 1, not 2). But sure, whatever approximation works for you! - CRGreathouse (t | c) 17:14, 19 November 2021 (UTC)

Link to this Talk
I add a Link to this Talk, because if you searce in German for $\pi$(x) there is only a Link to the German page of Prime number theorem Steedmarks (talk) 09:33, 16 October 2018 (UTC)
 * We don't link to talk pages in See also sections so I reverted it. I'm not sure what you mean but this is the English Wikipedia and our links are not determined by Wikipedias in other languages. If you mean there is no link to German under "Languages" then it is because the German Wikipedia does not have a separate article about the prime-counting function. Their article about the Prime number theorem is linked under "Languages" in that article. Two articles in one Wikipedia language does not link the same article in another language. PrimeHunter (talk) 10:09, 16 October 2018 (UTC)

Exact form
According to page 249 of Borwein, et al the first two formulas involving $$\pi(x)$$ and $$R(x)$$ do not have proofs in the literature. As things stand now, the section "Exact form" merely links to an assertion on a Russian website. This doesn't seem to me like a reliable reference.

Also, can someone give a link to the formula that has the arctan function?

There is a lot of good material about exact formulas later on in the section "Formulas for prime-counting functions", including a graph that shows how you can use complex zeros of the zeta function to compute $$\pi(x)$$. Maybe the section "Exact form" could be deleted, or merged with "Formulas for prime-counting functions". MathPerson (talk) 18:54, 19 May 2019 (UTC)

 * The purpose of the "Exact form" section is to note the end-result formula for π(x) in historical context. As the "Formulas" section states, that form is the Möbius inversion of Π(x), whose form Riemann derived in On the Number of Primes Less Than a Given Magnitude independently of the Riemann hypothesis.  There are several other sources for Π(x), which "Formulas" references.  I linked that website as a quick fix to guide the curious because it detailed the actual steps of the Möbius inversion; properly someone should find a textbook cite, but this suffices for now.  You may note also that the "Formulas" section lists the simplified form of π(x) involving arctan, and its citations reference Riemann and Von Mangoldt's papers proving that form.
 * Nonetheless, some of the top-line results of "Exact form" are missing from "Formulas" and should be copied. — wing  gundam  20:16, 22 May 2019 (UTC)

Inequalities
In the inequalities section, this appears:
 * $$ n (\log (n \log n) - 1) < p_n < n {\log (n \log n)} $$ for n ≥ 6.

The upper bound is sourced to Rosser (1941), and the lower bound to Dusart (1999). However, further down the section there appear inequalities sourced to Dusart (2010):
 * For $$n \ge 688383$$,
 * $$p_n \le n \left( \log n + \log \log n - 1 + \frac{\log \log n - 2}{\log n} \right),$$
 * and (Proposition 6.7) that, for $$n \ge 3$$,
 * $$p_n \ge n \left( \log n + \log \log n - 1 + \frac{\log \log n - 2.1}{\log n} \right) .$$

However, isn't the first of these a strictly weaker upper bound than Rosser's earlier one? Unless I am missing something obvious (very possible), at presumably Dusart's upper bound from 2010 should be removed from the article. 164.52.242.130 (talk) 19:17, 16 November 2021 (UTC)

 * Dusart's bounds are both stronger than their respective bounds above.
 * $$n\left(\frac{\log \log n - 2.1}{\log n} \right)$$
 * is positive so his lower bound is larger, making it stronger, and
 * $$n\left(-1 + \frac{\log \log n - 2}{\log n} \right)$$
 * is negative, making his upper bound smaller, hence stronger. In general you can see that his bound follows the asymptotic expansion more closely (for more terms) and so at a glance you know it will be stronger. - CRGreathouse (t | c) 16:52, 19 November 2021 (UTC)
 * Ah, ok! 164.52.242.130 (talk) 12:27, 26 November 2021 (UTC)

arctan-log terms
The sum
 * $$\sum_{n=1}^{\infty} \frac{\mu(n)}{n} \left( - \frac{n}{2 \log x} + \int\limits_{x^{1/n}}^{\infty} \frac{dt}{t (t^2-1) \log t} \right) = \frac{1}{\pi}\arctan\frac{\pi}{\log x}$$

comes straightly from the expression (32) in paper by Riesel & Göhl.

The sum $$\sum_{n=1}^{\infty} \frac{\mu(n)}{n} \sum_{\rho}\mathrm{li}(x^{\rho/n})$$ does not converge because

$$\sum\limits_{\rho}\mathrm{Ei}({\rho}z) = \frac{1}{2z} + \frac32(\gamma+\log z) - \log\sqrt{4\pi} + \frac56 z + O[z^{2}]$$

for $$0 < z < \log2$$, where $$\gamma$$ is Euler's constant. Nevertheless, we still write

 * $$\sum_{n=1}^{\infty} \frac{\mu(n)}{n} \sum_{\rho}\mathrm{li}(x^{\rho/n}) = \sum_{\rho}\mathrm{R}(x^{\rho})$$

in analytical sense since

 * $$\sum_{n=1}^{\infty} \frac{\mu(n)}{n^s} = \frac{1}{\zeta(s)}$$

and actually converging sum is

 * $$\sum_{n=1}^{\infty} \frac{\mu(n)}{n} \left( \sum_{\rho}\mathrm{li}(x^{\rho/n}) - \frac{n}{2 \log x} \right) = \sum_{\rho}\mathrm{R}(x^{\rho}) + \frac{1}{\log x}$$.

Summarizing this, we have

 * $$\sum_{n=1}^\infty \frac{\mu(n)}n \Pi_0\bigl(x^{1/n}\bigr) = \sum_{n=1}^\infty \frac{\mu(n)}n \left( \mathrm{li}(x^{1/n}) - \sum_{\rho} \mathrm{li}(x^{\rho/n}) - \log 2 + \int_{x^{1/n}}^\infty \frac{dt}{t \left(t^2 - 1\right) \log t} \right) = \mathrm{R}(x) - \sum_{\rho}\mathrm{R}(x^\rho) - \frac{1}{\log{x}} + \frac{1}{\pi} \arctan{\frac{\pi}{\log{x}}}$$

One could also find $$\sum\limits_{m=1}^{\infty}R(x^{-2m}) = \frac{1}{\pi}\left(\tfrac{\pi}{\log x} - \arctan\tfrac{\pi}{\log x}\right)$$ directly from
 * $$R(e^{-z}) = \sum\limits_{k=1}^{\infty}\frac{\mu(k)}{\pi}\left(\frac{2\pi}{k z}-\arctan\frac{2\pi}{k z}\right)-\sum\limits_{\rho}\frac{\Gamma(1-\rho)}{\zeta'(\rho)(1-\rho)z^{1-\rho}}$$

(see the paper of Bornemann for details). Droog Andrey (talk) 11:38, 24 December 2021 (UTC)

 * You say
 * "and actually converging sum is

 * $$\sum_{n=1}^{\infty} \frac{\mu(n)}{n} \left( \sum_{\rho}\mathrm{li}(x^{\rho/n}) - \frac{n}{2 \log x} \right) = \sum_{\rho}\mathrm{R}(x^{\rho}) + \frac{1}{\log x}$$."

 * The equality is not correct and does not reflect Riesel and Gohl. And Bornemann's paper does not say anything about $\sum_{m=1}^\infty R(x^{-2m})$ . I'll have to revert your edits again. A1E6 (talk) 14:26, 24 December 2021 (UTC)

 * The equality you quoted follows from equalities written before it. Bornemann's paper does say about $$R(e^{-z})$$, the rest is pretty obvious for an analytical number theorist. You may ask some of them if you want. Droog Andrey (talk) 17:53, 24 December 2021 (UTC)

 * "Follows from..."? From what exactly? How? Please show us your original research.
 * (32) in Riesel and Gohl is
 * $$\sum_{n=1}^N \frac{\mu (n)}{n}\left(\int_{x^{1/n}}^\infty \frac{dt}{(t^2-1)t\log t}-\log 2\right)=\frac{1}{2\log x}\sum_{n=1}^N \mu (n)+\frac{1}{\pi}\arctan\frac{\pi}{\log x}+\epsilon (x,N)$$
 * where $$\epsilon\to 0$$ as $$N\to\infty$$. For their computation purposes, Riesel and Gohl chose (page 979) $$N=154$$ which gives
 * $$\sum_{n=1}^{154}\frac{\mu (n)}{n}\left(\int_{x^{1/n}}^\infty \frac{dt}{(t^2-1)t\log t}-\log 2\right)=-\frac{1}{\log x}+\frac{1}{\pi}\arctan\frac{\pi}{\log x}+\epsilon (x,154).$$
 * This does not imply that
 * $$\sum_{n=1}^\infty \frac{\mu (n)}{n}\left(\int_{x^{1/n}}^\infty \frac{dt}{(t^2-1)t\log t}-\log 2\right)=-\frac{1}{\log x}+\frac{1}{\pi}\arctan\frac{\pi}{\log x}$$
 * by any means.
 * The statement "The arctan-log terms *are* equivalent to the sum over trivial zeta zeros, just look at the expression (32) in the paper by Riesel & Göhl and let N go to infinity." in your edit summary is false. Did you perhaps mean something else? A1E6 (talk) 19:57, 24 December 2021 (UTC)
 * You forget to use $$\sum_{n=1}^{\infty} \frac{\mu(n)}{n^s} = \frac{1}{\zeta(s)}$$. And that's too simple to be called original research. I provided two independent sources to show that equality does hold. That's enough if you understand Möbius inversion in analytical sense. Droog Andrey (talk) 01:52, 25 December 2021 (UTC)
 * I don't think so.
 * $$\sum_{n=1}^\infty \frac{\mu (n)}{n^s}=\frac{1}{\zeta (s)}$$ is valid for $$s\in\mathbb{C}$$ such that $$\Re s>1$$, and if the Riemann hypothesis is true, then $$\sum_{n=1}^\infty \frac{\mu (n)}{n^s}=\frac{1}{\zeta (s)}$$ is valid for $$s\in\mathbb{C}$$ such that $$\Re s> \tfrac{1}{2}$$. In any case, the equality is not valid for $$s=0.$$ And none of your sources prove your "result" in any way. A1E6 (talk) 02:07, 25 December 2021 (UTC)
 * The function $$\sum_{n=1}^\infty \frac{\mu (n)}{n^s}=\frac{1}{\zeta (s)}$$ is analytical as well as $$\sum_{n=1}^\infty \frac1{n^s}=\zeta (s)$$. You should understand that series convergence is used differently in the context of analytic continuation. And, again, that's not my result, that's obvious corollary from Riesel&Göhl. Anyway, if you don't like $$\sum_{n=1}^\infty \mu (n)$$ divergence, you may apply Möbius inversion to
 * $$R(e^{-z}) = \sum\limits_{k=1}^{\infty}\frac{\mu(k)}{\pi}\left(\frac{2\pi}{k z}-\arctan\frac{2\pi}{k z}\right)-\sum\limits_{\rho}\frac{\Gamma(1-\rho)}{\zeta'(\rho)(1-\rho)z^{1-\rho}}$$
 * which follows directly from the Corollary on page 2 in Bornemann's paper (the first term of RHS is rewritten to achieve absolute convergence for $$1<|z|\le2\pi$$). Droog Andrey (talk) 09:14, 25 December 2021 (UTC)
 * As I already explained, Riesel's and Gohl's (32) establishes an approximation, not an equality as $$N\to\infty$$. You were not able to provide a reliable source containing the proof of the equality. Original research is not allowed on Wikipedia, anyway. So, we can't have an equality instead of an approximation here. A1E6 (talk) 16:39, 25 December 2021 (UTC)
 * You just blindly state what you want. OK, let's look at the final equality in the Bornemann's paper:
 * $$\mathrm{R}(e^{-2\pi t})=\frac{1}{\pi}\sum\limits_{k=1}^{\infty}\frac{(-1)^{k-1}t^{-2k-1}}{(2k+1)\zeta(2k+1)}+\frac12\sum\limits_{\rho}\frac{t^{-\rho}}{\rho\cos(\pi\rho/2)\zeta'(\rho)}$$
 * and directly calculate the sum questioned:
 * $$\sum\limits_{m=1}^{\infty}\mathrm{R}(e^{-2\pi mt})=\frac{1}{\pi}\sum\limits_{k=1}^{\infty}\frac{(-1)^{k-1}t^{-2k-1}\zeta(2k+1)}{(2k+1)\zeta(2k+1)}+\frac12\sum\limits_{\rho}\frac{t^{-\rho}\zeta(\rho)}{\rho\cos(\pi\rho/2)\zeta'(\rho)}=\frac{1}{\pi}\left(\frac1t-\arctan\frac1t\right)$$
 * Now it is pretty obvious without any analytic number theory tricks.
 * Merry Christmas! Droog Andrey (talk) 17:41, 25 December 2021 (UTC)
 * The last result in Bornemann's paper is
 * $$R(e^{-2\pi t})=\frac{1}{\pi}\sum_{k=1}^\infty\frac{(-1)^{k-1}t^{-2k-1}}{(2k+1)\zeta(2k+1)}+\frac12\sum_{\rho}\frac{t^{-\rho}}{\rho\cos(\pi\rho/2)\zeta'(\rho)}$$
 * where $$\rho$$ runs over the non-trivial zeros of the Riemann zeta function. Concluding that
 * $$\sum_{m=1}^{\infty}R(e^{-2\pi mt})=\frac{1}{\pi}\sum_{k=1}^{\infty}\frac{(-1)^{k-1}t^{-2k-1}\zeta(2k+1)}{(2k+1)\zeta(2k+1)}+\frac12\sum_{\rho}\frac{t^{-\rho}\zeta(\rho)}{\rho\cos(\pi\rho/2)\zeta'(\rho)}=\frac{1}{\pi}\left(\frac1t-\arctan\frac1t\right)$$
 * is your original research and unless you provide a reliable source with a proof of this implication, we can't have that on Wikipedia. So I have to revert your edit again. Merry Christmas. A1E6 (talk) 18:03, 25 December 2021 (UTC)
 * Are you kidding me? You really need a proof than $$\sum_{m=1}^{\infty}m^{-s}=\zeta(s)$$? Droog Andrey (talk) 22:22, 25 December 2021 (UTC)
 * That is the definition of the Riemann zeta function and does not prove your result by any means.  And the two sources you provided do not prove your result. You do your original research supposedly based on them. Anyone who understands Wikipedia policy will see that you are trying to sneak in your original research. Please stop it. A1E6 (talk) 22:36, 25 December 2021 (UTC)
 * Anyone who understands analysis will see that the equality straightly follows from both sources (most easily from Bornemann), so that's not original research but a clear fact. I think you are lying when you say does not prove your result by any means, because the proof is one-line and obvious. You are continuously trying to put wrong information on Wikipedia, that's just vandalism. I am highly disappointed. Droog Andrey (talk) 06:11, 26 December 2021 (UTC)
 * "You are continuously trying to put wrong information on Wikipedia" I'm not; I'm trying to keep misinformation off of Wikipedia and trying to enforce Wikipedia policies. It is confirmed that $$L\approx R$$, but $$L=R$$ is a bolder statement and any proof that $$L=R$$ has to be in a reliable source, otherwise $$L=R$$ cannot be included in the article. A1E6 (talk) 10:18, 26 December 2021 (UTC)
 * You are since you insist that the equality does not hold while it really does. A very detailed proof is given in the article now, and the sources are clearly provided. Any reader who understand the rest of the article can easily understand that short proof, and the most of readers can see how the equality follows from Riesel & Göhl. If you can't, please ask those who understand the basics of analytical number theory. But please don't blindly revert anything, that looks ridiculous at least. I hope the question is resolved now. Droog Andrey (talk) 16:41, 26 December 2021 (UTC)
 * Now you added your own proof to the article. The proof is considered original research, since Bornemann's paper itself does not prove your result, nor can your proof be found in any reliable source. "ask those who understand the basics of analytical number theory" It doesn't matter at all whether you understand analytic number theory, you're breaking Wikipedia policies by adding your original research. A1E6 (talk) 16:49, 26 December 2021 (UTC)
 * It seems you are the only person who consider that obvious consequence as an original research. I have no more time to deal with this, sorry. Droog Andrey (talk) 16:59, 26 December 2021 (UTC)
 * "You are since you insist that the equality does not hold" I'm sorry for an improper choice of words in my first edit summary, namely "The arctan-log terms are not equivalent to the sum over the trivial zeta zeros" It is true that the equality was not disproved. The proper wording would be "Riesel's and Gohl's (32) does not prove equality etc." In any case $$L\approx R$$ does not contradict $$L=R$$, so you really don't have to be worried that it contradicts your result. But still, unless you provide a reliable source with a proof of the bold statement $$L=R$$, we can't have it in the article. A1E6 (talk) 17:16, 26 December 2021 (UTC)
 * I added Bornemann's result, but your proof still has to be in a reliable source. A1E6 (talk) 18:52, 26 December 2021 (UTC)
 * The proof based on Bornemann's paper was introduced mostly to convince you that the equality holds. Actually, the equality straightly follows from Riesel&Göhl. Droog Andrey (talk) 22:21, 26 December 2021 (UTC)
 * Riesel and Gohl do not use zeta regularization. They do not interpret $\sum_{n=1}^\infty \mu (n)$ as $$-2$$. All they do is compute the sum up to some natural number $$N$$. Then they choose $$N=154$$. And for $$N=154$$ we have $\sum_{n=1}^{154}\mu (n)=-2$ . The equality of yours does not follow from Riesel and Gohl. Regarding Bornemann, additional and significant research is needed to obtain your result from it. And that is exactly what you're trying to do, original research. Your work is very far from WP:CALC. A1E6 (talk) 23:08, 26 December 2021 (UTC)
 * No it's not. The first step is just literally substituting in the definition of the zeta function. The second is remembering what the ρ are. And the third is remembering the series for the arctangent. None of this seems like stuff that even needs any knowledge of analytic number theory to me, much less "significant research". Double sharp (talk) 16:43, 27 December 2021 (UTC)
 * I don't think so. For example,
 * $$\sum_{m=1}^\infty\sum_{\rho}\frac{m^{-\rho}t^{-\rho}}{\rho\cos(\pi\rho/2)\zeta'(\rho)}=\sum_{\rho}\sum_{m=1}^\infty \frac{m^{-\rho}t^{-\rho}}{\rho\cos(\pi\rho/2)\zeta'(\rho)}=0$$
 * (which Droog Andrey used) is not WP:CALC. In particular, the order of infinite summation is interchanged, without justification. The interchange is allowed when
 * $$\sum_{m=1}^\infty\sum_{\rho}\left|\frac{m^{-\rho}t^{-\rho}}{\rho\cos(\pi\rho/2)\zeta'(\rho)}\right|<\infty$$,
 * but this was not proved: perhaps intentionally, to make the proof seem like a one-liner and not original research. A1E6 (talk) 19:16, 27 December 2021 (UTC)
 * Also, importantly, Bornemann used a simplification which depends on the assumption that all zeros of the Riemann zeta function are simple (footnote on page 1), but that is a mere conjecture. And see "The poles of $$f_\tau$$ are all simple and they are located at the poles of $$\Gamma (-z)$$, i.e., at $$z = 0, 1, 2, \ldots$$ and at the values $$z$$ for which $$\zeta (z+1)=0$$." (page 2). A1E6 (talk) 23:25, 27 December 2021 (UTC)
 * Riesel&Göhl did use $\sum_{n=1}^\infty \mu(n) = -2$, that's why they chose $$N=154$$. Summation interchange is obviously legal, just look at the denominator. Zeros simplicity doesn't matter at all (see the footnote on the 1st page of Bornemann). BTW you continuously mess up references to Riesel&Göhl. That doesn't seem like you care about the quality of the article. Droog Andrey (talk) 08:20, 28 December 2021 (UTC)
 * They did not use $\sum_{n=1}^\infty \mu (n)=-2$ because $\sum_{n=1}^\infty \mu (n)=-2$  is literally nowhere in their article, and $$154\ne\infty$$. The summation interchange
 * $$\sum_{m=1}^\infty\sum_{\rho}\frac{m^{-\rho}t^{-\rho}}{\rho\cos(\pi\rho/2)\zeta'(\rho)}=\sum_{\rho}\sum_{m=1}^\infty \frac{m^{-\rho}t^{-\rho}}{\rho\cos(\pi\rho/2)\zeta'(\rho)}$$
 * is not obviously legal and was not proved by you. Even if you could provide a proof that it is legal, it would still count as original research. Zeros simplicity does matter, please read carefully the text I quoted from page 2. Also, you misinterpreted the footnote on page 1. Assuming the conjecture is not essential for the goal of his paper, namely for finding the largest positive zero of Riemann's $$\operatorname{R}$$. It is, however, essential for simplifying the terms of the infinite series running over all zeros. A1E6 (talk) 11:58, 28 December 2021 (UTC)
 * By the way, you can ignore "The arctan-log terms *are not* equivalent to the integral term" in Vitamindeth's edit summary from 30 July 2021. The proper wording would be "It was not proved that the arctan-log terms are equivalent to the integral term". And even if $$L=R$$, stating that $$L\approx R$$ would not be a "flaw". A1E6 (talk) 12:33, 28 December 2021 (UTC)
 * $\sum_{n=1}^\infty \mu (n)=-2$ was the reason to choose such $$N$$ that $\sum_{n=1}^N \mu (n)=-2$ . On summation interchange: please don't forget that non-trivial zeros are ordered by their height. Terms simplifying is not essential because $$\sum_m = 0$$ for every non-trivial zeta zero anyway. It seems that you ask for every single step just because you don't want to recognize the proof to be actually simple enough to fit WP:CALC in the article's context. Droog Andrey (talk) 21:13, 28 December 2021 (UTC)
 * "$\sum_{n=1}^\infty \mu (n)=-2$ was the reason to choose such $$N$$ that $\sum_{n=1}^N \mu (n)=-2$ " This is false.

 * Let me quote p. 979 from Riesel and Gohl: "It is thus advantageous to choose such a value of $$N$$ that the sums $$g_k$$ become comparatively small. It is also advantageous to have $\sum_{n=1}^N \mu (n)=-2$ at the same time, since (32) then has the order of magnitude only $$=O\left((\log  x)^{-3}\right)$$ instead of $$O\left((\log x)^{-1}\right)$$. This turns out to be the case for (among some other small values of $$N$$) $$N=154$$. In our computation we have chosen this value of $$N$$ in (14) and (19)."

 * That's actually the same reason since the order of magnitude damping comes from $\sum_{n=1}^{\infty} \mu (n)=-2$ . Droog Andrey (talk) 00:35, 29 December 2021 (UTC)

 * You state "On summation interchange: please don't forget that non-trivial zeros are ordered by their height." This does not prove
 * $$\sum_{m=1}^\infty\sum_{\rho}\left|\frac{m^{-\rho}t^{-\rho}}{\rho\cos(\pi\rho/2)\zeta'(\rho)}\right|<\infty .$$

 * Absolute convergence is not needed there because of zeta zeros ordering. Droog Andrey (talk) 00:35, 29 December 2021 (UTC)

 * Then you state "Terms simplifying is not essential because $$\sum_m = 0$$ for every non-trivial zeta zero anyway." To me, it seems like you didn't even bother to read the quoted text from Bornemann's page 2. Bornemann is not summing over $$m$$ to obtain $$\zeta (\rho)$$ in the numerator, only you are. Bornemann's result depends on assuming the conjecture, as I've already explained several times. And you're trying to derive your result from Bornemann's. A1E6 (talk) 22:44, 28 December 2021 (UTC)

 * I've read a whole article a while ago. The possible changes in Bornemann's result due to zeta zeros multiplicity do not affect the sum over $$m$$.
 * It seems that repeating the same thing in different words does not help, huh. Let's stop for a while and see what others have to say. Droog Andrey (talk) 00:35, 29 December 2021 (UTC)
 * When you start your proof with
 * $$\operatorname{R}(e^{-2\pi t})=\frac{1}{\pi}\sum_{k=1}^\infty\frac{(-1)^{k-1}t^{-2k-1}}{(2k+1)\zeta(2k+1)}+\frac12\sum_{\rho}\frac{t^{-\rho}}{\rho\cos(\pi\rho/2)\zeta'(\rho)}$$
 * (you did), you use Bornemann's fully-fledged result depending on the conjecture, for the reasons explained above. Not to mention the fact that the first result of Bornemann's paper is
 * $$\operatorname{R}(e^{-\tau})=\sum_{\rho}\frac{\Gamma (1-\rho)}{(\rho -1)\zeta '(\rho)}\tau ^{\rho -1}$$
 * where $$\rho$$ runs over all zeros of the Riemann zeta function and $$\tau >0$$ – and even this was proved by Bornemann by assuming the conjecture that all zeros of the Riemann zeta function are simple. In particular, on page 2, he used
 * $$\operatorname{Res}_{z=\rho -1}\left(-\frac{\Gamma (-z)\tau^z}{z\zeta (z+1)}\right)=\frac{\Gamma (1-\rho)\tau ^{\rho -1}}{(1-\rho)\zeta '(\rho)},$$
 * exploiting the simplicity of the poles due to the conjectured simplicity of the zeros of the Riemann zeta function. A1E6 (talk) 01:21, 29 December 2021 (UTC)
 * That's nice, but $$\tau^{1-\rho}$$ will not disappear from the denominator once you encounter a multiple zero. Please keep track of essential details instead of finding faults everywhere. Droog Andrey (talk) 07:54, 29 December 2021 (UTC)
 * "finding faults everywhere" – that is essential here. All zeros of $$\zeta (s)$$ on $$\Re s=\tfrac12$$ are simple if and only if $$\zeta '(s)\ne 0$$ on $$\Re s=\tfrac12$$. And it is not even known whether there exists a $$\rho$$ such that $$\zeta (\rho)=\zeta '(\rho)=0$$. A1E6 (talk) 17:49, 3 January 2022 (UTC)

Agama result
Sadinova (Special:Contributions/Sadinova) has twice added (in January and today) a paper of Agama to the article purporting to give a new formula for pi(x) in terms of Chebyshev's function vartheta(x). Basic asymptotic analysis shows that the formula varies as x/(2 log x) and so can't be correct. (I also computed it at powers of 10 to check.) But even if correct, this isn't a useful formula since Chebyshev's formula is hard to compute. If there was some other reason to care about this incorrect result I wouldn't be opposed but I don't see it.

CRGreathouse (t | c) 16:27, 23 March 2023 (UTC)

 * Dear Great house, the formula does not vary as x/2logx. Rather it varies as x/2log x minus the term contributed by the sum. The utility can be challenged as does the utility of the one existing in the literature. Sometimes these things becomes usuful in theory and not for computational persuits. Sadinova (talk) 20:38, 26 March 2023 (UTC)
 * I propose a replacement of the result, because it is more explicit than the one we currently have on the page. It might be useful in theory. Nevertheless, of gives a good estimate for the integrals involving the prime counting function and Chebyshev's function. Sadinova (talk) 20:47, 26 March 2023 (UTC)
 * Having seen some other works by Agama, such as his supposed proof of Goldbach's conjecture, I would require independent verification of any claims by him before accepting them as a reliable source.
 * As for Sadinova, as their only contributions have been to attempt to push work by Agama into Wikipedia, I would remind them that Wikipedia's terms of use demand that any conflict of interest be explicitly declared. —David Eppstein (talk) 23:20, 26 March 2023 (UTC)

 * Sadinova, if you learn of a correct version of this function, I would be happy to hear from you as I am curious. But I don't think it belongs in the article. Regardless, this incorrect version does not belong in this article.
 * As for the expression,
 * $$\frac{1}{\log x}\sum_{n\le x}\log(x/n) = \frac{x}{\log x} + O(1)$$
 * by Stirling's approximation. The whole expression is hence
 * $$\frac{\vartheta(x)}{ \log x } +\frac{x}{2 \log x }-\frac{1}{ 4}- \frac{1}{\log x}\sum_{n\le x}\log (\frac{x}{n}) = \frac{\vartheta(x)}{\log x} - \frac{x}{2\log x} + O(1)$$
 * which is
 * $$\frac{x}{2\log x} + O(x^{1/2+\varepsilon})$$
 * under the Riemann hypothesis. (Without, the error term is larger, but the leading term is unchanged.) You can also compute the terms explicitly and see that they are about half of the function they purport to approximate.
 * CRGreathouse (t | c) 13:00, 29 March 2023 (UTC)
 * Dear Greathouse,
 * The sum runs over only odd composites and not the entire integers. You must have misconstrued the result. Kindly note that I've worked this out and checked thoroughly. Well, it might not be suitable here but it must be correct.
 * (Sadinova (talk) 09:53, 4 April 2023 (UTC))

 * Unlike the formula you added to the article, this one looks plausible. It's still not appropriate for the article, but I do find it interesting.
 * $$\pi(x) \mathbin{\stackrel?=} \frac{\vartheta(x)}{ \log x } +\frac{x}{2 \log x }-\frac{1}{ 4}- \frac{1}{\log x}\!\!\!\!\!\!\!\!\!\sum_{\stackrel{n\le x}{n\text{ odd composite}}}\log \left(\frac{x}{n}\right)+O\left(\frac{1}{\log x}\right)$$
 * In fairness, the numerics don't support an error term quite that sharp, it looks more like O(log log x) or O(1). But I'd have to dive deeper in this to verify.
 * CRGreathouse (t | c) 20:28, 5 April 2023 (UTC)

title: Talk:Prime-counting function


text:
Lindley Miller Garrison

Lindley Miller Garrison (November 28, 1864 – October 19, 1932) was an American lawyer from New Jersey who served as Secretary of War under U.S. President Woodrow Wilson between 1913 and 1916.

Early years
Lindley Miller Garrison was born in Camden, New Jersey, the son of the Reverend Joseph Fithian Garrison (1823–1892) and Elizabeth Vanarsdale (Grant) Garrison (1829–1903). His brother was Charles G. Garrison, an associate justice of the New Jersey Supreme Court He attended public schools and the Protestant Episcopal Academy in Philadelphia, Pennsylvania. He studied at Phillips Exeter Academy for one year before attending Harvard University as a special student from 1884 to 1885. He studied law in the office of Redding, Jones & Carson of Philadelphia, received a law degree from the University of Pennsylvania, and was admitted to the bar in 1886. He practiced law in Camden from 1888 to 1898 and became a partner in the firm of Garrison, McManus & Enright in Jersey City in 1899. He married Margaret Hildeburn in Jersey City on 30 June 1899. Garrison served as vice-chancellor of New Jersey from 1904 to 1913, where he came to Governor Woodrow Wilson's notice.

Secretary of War
From March 5, 1913 to February 10, 1916, Garrison served as Secretary of War in the Wilson administration. Garrison and Wilson never fit well together. Garrison was much more willing to intervene militarily overseas than was the President. This was especially evident in regard to Mexico. Garrison urged American intervention into the Mexican revolution to restore order. During the Preparedness campaign of 1916, when Wilson was trying to convince Congress to raise military spending, Garrison supported a plan for expanding the US military with what he called the Continental Army Plan. Garrison's proposal would establish a standing army of 140,000 and a national, volunteer reserve force of 400,000 men. Wilson initially gave the plan tepid support, but Garrison ran into opposition from both those who felt his plan went too far in creating a large standing army, as well as from those who felt it did not go far enough. Wilson was convinced by allies in Congress to back an alternative plan which emphasized not Garrison's national volunteer force, but a continued role for the states' National Guard. Garrison resigned in February 1916 over these differences.

Later years
After leaving Wilson's administration Garrison returned to the practice of law in the firm of Hornblower, Miller & Garrison (now Willkie Farr & Gallagher LLP). He was appointed receiver of the Brooklyn Rapid Transit Company in December 1918 and served until June 1923. His wife Margaret died in Manhattan in 1926. He died on October 19, 1932, at his home in Sea Bright, New Jersey.

title: Lindley Miller Garrison


text:
Parakeet auklet

The parakeet auklet (Aethia psittacula) is a small seabird of the North Pacific. Parakeet Auklets used to be placed on its own in the genus Cyclorrhynchus (Kaup, 1829) but recent morphological and genetic evidence suggest it should be placed in the genus Aethia, making them closely related to crested auklets and least auklets. It is associated with the boreal waters of Alaska, Kamchatka and Siberia. It breeds on the cliffs, slopes and boulder fields of offshore islands, generally moving south during the winter.

Description
The parakeet auklet is a small (23 cm) auk with a short orange bill that is upturned to give the bird its curious fixed expression. The upward bend of the beak has been observed to provide advantages in picking up small food pieces from the sea bottom as well as in assisting in the disintegration of larger food objects. The bird's plumage is dark above and white below. with a single white plume projecting back from the eye. There is a small amount of variation between breeding and winter plumage.

The parakeet auklet is a highly vocal species at the nest, calling once it arrives at the nest and then duetting once its mate arrives. It makes a series of rhythmic hoarse calls (like that of the Cassin's auklet) and a quavering squeal. The function of these are unknown, but could be associated with defending its burrow from intruders and strengthening the bond with its mate.

Taxonomy
The Parakeet Auklet was formerly included in the genus Cyclorrhynchus, avians with a nearly circular profile of the bill. But following recent phylogenetic study, this species could be closer to the Crested Auklet, Least Auklet and Whiskered Auklet.

Behaviour and breeding
The parakeet auklet's food varies with season, during the breeding season it takes mostly small planktonic crustaceans such as euphausiids, copepods and amphipods. Recent research shows it also preys on jellyfish in some areas. It often feeds at a considerable distance from the colony, diving up to 30 m to reach its prey.

Breeding begins in April and May in colonies that are often shared with other auk species. Their eggs are laid in the crevices of the cliff, often several feet in and by a crooked path so that it is impossible to reach them. The pair lay one egg, which is incubated for just over a month, the chick is then fed 4 times a day for around 35 days. The chick fledges at night, flying out to sea alone.

Relationship with humans
The parakeet auklet has little contact with humans despite its large population, this is largely due to their remote breeding and wintering. However, the parakeet auklet still faces issues caused by marine pollution and ingestion of small plastics.

Status and conservation
The parakeet auklet is not considered threatened, there are estimated to be over a million individuals in the North Pacific. It is not thought to have declined recently, but may be threatened in the future by introduced predators and oil spills.

title: Parakeet auklet


text: Category:Canadian children's writers

title: Category:Canadian children's writers


text:
Talk:VDARE

Link
I don't think we should have the URL for a website as dangerous as this in the infobox. Even though it was included in good faith, we should not be helping people find this site. There is no encyclopaedic purpose for its inclusion Stephanie921 (talk) 20:30, 5 September 2022 (UTC)

 * Wikipedia is not censored. In general, Wikipedia articles about websites include the URL of the website so that readers understand exactly which website the article is describing. The inclusion of the URL is informational, which is in line with the core purpose of Wikipedia (providing knowledge). If someone encounters the website elsewhere and then finds the Wikipedia article afterward, the article needs to have the URL so that the person can confirm that website they found is the same one as the website described in the article. Hiding this information would do a disservice to our readers. —  Newslinger  talk   04:41, 6 September 2022 (UTC)

title: Talk:VDARE


text:
Kamehameha Highway

Kamehameha Highway is one of the main highways serving suburban and rural O‘ahu in the U.S. state of Hawai‘i. Informally known as Kam Highway, it begins at Nimitz Highway near Pearl Harbor and Hickam Air Force Base in Honolulu, serves the island's older western suburbs, and turns north across the O‘ahu Central Valley to the North Shore. At the North Shore, Kamehameha Highway heads northeast around the northern tip of O‘ahu, then southeast to and just beyond Kāne‘ohe Bay on the windward coast. The road was named after King Kamehameha I.

A short detached segment of the Kamehameha Highway exists for a few blocks in the Honolulu neighborhood of Kalihi. This segment runs as a short extension of Dillingham Boulevard from Pu‘uhale Road (near the O‘ahu Community Correctional Center) to exit 18B on Interstate H-1. This section was contiguous with the rest of the highway before the construction of the H-1 viaduct.

Route 99 (Honolulu to Hale‘iwa)
As Route 99, Kamehameha Highway begins at its southern terminus at the Pearl Harbor interchange of Interstate H-1 near Pearl Harbor and Hickam Air Force Base. The highway runs north past the Pearl Harbor historic sites such as the USS Arizona Memorial and the USS Bowfin, the Admiral Clarey Bridge to Ford Island leading to the USS Missouri (BB-63), and Aloha Stadium. The highway then turns west through the suburbs of ‘Aiea and Pearl City, passing Pearlridge Center, the state's second largest shopping mall.

After passing Pearl City and the interchange with Interstate H-2 near Waipahu, Route 99 turns north through the central O‘ahu suburbs of Waipi‘o and Mililani. South of Wahiawā near Wheeler Army Airfield, the named Kamehameha Highway continues through Wahiawā as Route 80, while Route 99 (as Wilikina Drive and Kamananui Road) bypasses Wahiawā on the west, rejoining Kamehameha Highway north of Whitmore Village. It then continues north through pineapple fields and former sugar cane fields to the junction with Route 83 near Hale‘iwa.

Route 80 (Wahiawā)
As Route 80, Kamehameha Highway begins at the interchange with Interstate H-2 and Route 99 and passes through central Wahiawā and passing Whitmore Village before rejoining Route 99 north of Wahiawā.

Route 83 (Hale‘iwa to Kāne‘ohe)
Originally, Kamehameha Highway continued as Route 83 at the junction with Route 99 at Weed Junction in Hale‘iwa, passing through Hale‘iwa up the North Shore. Since 1995, Route 83 begins inland from Weed Junction as the Joseph P. Leong Highway and bypasses Hale‘iwa town on the inland side, rejoining Kamehameha Highway north of Hale‘iwa.

From Hale‘iwa, Kamehameha Highway passes Waimea Bay, Sunset Beach, and the Turtle Bay Resort at the northern tip of O‘ahu before heading down the Windward Coast communities of Lā‘ie, Hau‘ula, Punalu‘u, and Ka‘a‘awa.

At Kahalu‘u, Kamehameha Highway follows the coastline through He‘eia and the main commercial district of Kāne‘ohe (this segment was formerly Route 836), while Route 83 continues as Kahekili Highway bypassing Kāne‘ohe town to the west before reaching the junction with Likelike Highway (Route 63). Route 83 rejoins Kamehameha Highway in Kāne‘ohe and continues south to the interchange with Interstate H-3 and the eastern terminus at Route 61.

Route 830
Hawaii Route 830 is a 5.5 mi north–south route on the island of O‘ahu, Hawai‘i. Its northern terminus is with Route 83, near Kahalu‘u. It then continues southward along the shore of the Kāne‘ohe Bay, until its southern terminus with Routes 63 and 83, only 1.5 miles away from Interstate H-3.

title: Kamehameha Highway


text:
List of universities in Scotland

There are fifteen universities based in Scotland, the Open University, and three other institutions of higher education.

The first university in Scotland was St John's College, St Andrews, founded in 1418. St Salvator's College was added to St. Andrews in 1450. The other great bishoprics followed, with the University of Glasgow being founded in 1451 and King's College, Aberdeen in 1495. St Leonard's College was founded in Aberdeen in 1511 and St John's College was re-founded in 1538 as St Mary's College, St Andrews. Public lectures that were established in Edinburgh in the 1540s would eventually become the University of Edinburgh in 1582. A university briefly existed in Fraserburgh between 1592 and 1605. In 1641, the two colleges at Aberdeen were united by decree of Charles I (r. 1625–49), to form the ‘King Charles University of Aberdeen’. They were demerged after the Restoration in 1661. In 1747 St Leonard's College in St Andrews was merged into St Salvator's College to form the United College of St Salvator and St Leonard. A new college of St Andrews was opened in Dundee in 1883, though initially an independent institution. The two colleges at Aberdeen were considered too small to be viable and they were restructured as the University of Aberdeen in 1860. Marischal College was rebuilt in the Gothic style from 1900. The University of Edinburgh was taken out of the care of the city and established on a similar basis to the other ancient universities.

After the Robbins Report of 1963 there was a rapid expansion in higher education in Scotland. By the end of the decade the number of Scottish Universities had doubled. New universities included the University of Dundee, Strathclyde, Heriot-Watt, and Stirling. From the 1970s the government preferred to expand higher education in the non-university sector and by the late 1980s roughly half of students in higher education were in colleges. In 1992, the distinction between universities and polytechnic colleges/Central institutions was removed. This created new universities at Abertay, Glasgow Caledonian, Napier, Paisley and Robert Gordon. in 2001 the University of the Highlands and Islands was created by a federation of 13 colleges and research institutions in the Highlands and Islands and gained full university status in 2011.

title: List of universities in Scotland


text: User talk:61.145.206.133

title: User talk:61.145.206.133