{"entities":{"Q2595756":{"pageid":2606499,"ns":120,"title":"Item:Q2595756","lastrevid":44433420,"modified":"2025-11-22T21:50:46Z","type":"item","id":"Q2595756","labels":{"en":{"language":"en","value":"The \\(n\\)-th prime is greater than \\(n \\log n\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2514925"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595756$E5D7788D-31CA-449D-8D64-08BE5F67661B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b51d5fdd113c95dc103b8c8587ec2c3258f54ca0","datavalue":{"value":{"text":"The \\(n\\)-th prime is greater than \\(n \\log n\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2595756$C41A906C-3A50-4186-B1BD-BC3F5CC3E948","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea1bc88a3af74278ae44208b3b849e9d6a6aa2e7","datavalue":{"value":"64.0100.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595756$2738D31D-EF6F-402A-8D49-D5D1466569F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"569f7eee57c92af30f0779849471ff124ef80fbe","datavalue":{"value":{"entity-type":"item","numeric-id":563364,"id":"Q563364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595756$B94599BF-E882-4848-88B7-E8FB73AFEFF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2595756$09B9DA7B-4ABE-469B-9F89-0B9FF905C94D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5523a04233ff10a3fc3f47d2c90aba563be96f92","datavalue":{"value":"Es sei \\(p(n)\\) die \\(n\\)-te Primzahl (\\(p(1) = 2\\)) und \\(\\psi\\) die aus der Primzahltheorie bekannte Funktion. Verf. beweist: Falls \\(m > 1000\\) und \\(p (n) > n \\log n\\) f\u00fcr jedes \\(n\\leqq m\\) und falls \\(H(x)\\) eine positive Funktion ist, f\u00fcr die \\(x\\left(1+\\dfrac1H\\right)\\geqq\\psi(x)\\) ist, so ist \\(p (m + 1) > (m + 1) \\log (m + 1)\\).  Mit Hilfe dieses Satzes beweist Verf., da\u00df \\(p(n)>n\\log n\\) f\u00fcr alle \\(n > 1071\\); da\u00df dies auch f\u00fcr \\(n\\leqq 1071\\) richtig ist, folgt aus Primzahltafeln (dies alles nat\u00fcrlich durch ziemlich m\u00fchsame Rechnungen). Weiter zeigt Verf., da\u00df die durch  \\[  \\sum_{m=1}^n\\frac1{p(m)}=\\log\\log n+B_n,\\quad \\prod_{m=1}^n\\left(1-\\frac1{p(m)}\\right)=\\frac{C_n}{\\log n},\\quad \\prod_{m=2}^N\\left(1-\\frac2{p(m)}\\right)=\\frac{D_n}{\\log^2n}  \\]  definierten Zahlenfolgen monoton abnehmen, und er bestimmt die Grenzwerte dieser Folgen auf 10 Dezimalen genau (0,261~497~212~8; 0,561~459~483~6 und 0,832~429~065~7). Schlie\u00dflich beweist Verf. noch: F\u00fcr \\(n >3\\) ist  \\[  p (n) < n \\log n + 2n \\log \\log n,  \\]  und f\u00fcr \\(n > 1\\) ist  \\[  n \\log n + n \\log \\log n - n - 9n < p(n) < n \\log n + n \\log \\log n - n + 9n.  \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q2595756$F87A8D4E-9F62-4919-BB9C-4D1F75BDBAE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c4a79db63ce31230bc7e1bfcb92645d35040b08","datavalue":{"value":"2514925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595756$3EA2C267-FF74-44B1-B558-D5F664796826","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595756$6520A155-3BD6-411D-AF2F-86F1E75D034A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef05244297b37bbfce698bcbdb4c58cd34c5d180","datavalue":{"value":"https://doi.org/10.1112/plms/s2-45.1.21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2595756$E7402307-2DC0-4728-97CA-9088C3082204","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bf4623c649cc381144c6fc4208a36dee123a29c","datavalue":{"value":"W1968126383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595756$DF1818FB-4FC3-44C5-A612-946F9E7AE97F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6228916bc31e707218df2b1d636066a4b49c6e22","datavalue":{"value":"10.1112/PLMS/S2-45.1.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2595756$3C6F3EC8-40B6-476F-9B0B-CDD3A63A5B4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"162c81dfce6d5c874397fb086535d85063c7254c","datavalue":{"value":{"entity-type":"item","numeric-id":6480755,"id":"Q6480755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2595756$BD0BF918-5C6B-4960-AA91-386144D5B084","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2595756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2595756"}}}}}