{"entities":{"Q2409610":{"pageid":2420353,"ns":120,"title":"Item:Q2409610","lastrevid":74051184,"modified":"2026-04-14T18:11:29Z","type":"item","id":"Q2409610","labels":{"en":{"language":"en","value":"On the irrationality of infinite series of reciprocals of square roots"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790024"}},"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":"Q2409610$1C067F3E-0894-428D-A82B-B8D140A7E6E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"724f5ed127508c9316b1c90241ac809098449a5b","datavalue":{"value":{"text":"On the irrationality of infinite series of reciprocals of square roots","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409610$63EF4BEF-6500-4AA2-80E1-FEA9ED2B9F8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7624b25e87edf3f1d5e06591db1fcceda14b2811","datavalue":{"value":"1382.11046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409610$4D52D591-8305-4496-86A3-31AD008EAD10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"890b6d1299fbf13c791f06da0faf4fd7205a287e","datavalue":{"value":"10.1216/RMJ-2017-47-5-1525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409610$0C03CCC0-CA97-4498-AC16-EF675A94AC68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3c56016573ce7bfe3075a77ec18be101169a3439","datavalue":{"value":{"entity-type":"item","numeric-id":168778,"id":"Q168778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409610$E049E849-2D46-44F5-A7FB-43773EBFB05B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409610$F8382788-A9B1-4002-BFE5-099A03983B2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d49a2a8af686c4fde4e645f56feaaf2efbe96921","datavalue":{"value":"https://projecteuclid.org/euclid.rmjm/1506045623","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409610$881ACF29-3F8C-46DC-B420-8005A521B7FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4692a46770bde3f9afe2c300af7d2ab9131deba8","datavalue":{"value":"Let \\((a_n)_{n\\geq 1}\\) be a nondecreasing sequence of positive integer such that  \\[  \\limsup_{n\\rightarrow \\infty} a_n^{1/\\prod_{j=1}^{n-1} (2^j+2)}=\\infty.  \\]  Assume further that there exists \\(\\varepsilon>0\\) such that \\(a_n\\geq n^{2+\\varepsilon}\\) for all sufficiently large \\(n\\). Then the number  \\[  \\sum_{n\\geq 1}\\frac{1}{\\sqrt{a_n}}  \\]  is irrational.  The assumption on the sequence \\((a_n)_{n\\geq 1}\\) is satisfied as soon as  \\[  \\lim_{n\\rightarrow \\infty} a_n^{2^{-n^2/2}}=\\infty,  \\]  hence, as soon as  \\[  \\lim_{n\\rightarrow \\infty} \\frac{\\log^2 a_n}{2^{n^2}}=\\infty.  \\]  The authors quote a number of previous results related with series  \\[  \\sum_{n\\geq 1}\\frac{1}{a_n},  \\]  due to P.~Erd\u0151s, the first author, J.~\u0160ustek, P.~Rucki, T.~Kanoko, T.~Kurosawa, I.~Shiokawa and others. The occurrence of the square root in the denominator makes a difference. The authors explain why they cannot use the Schmidt Subspace Theorem like in the work of \\textit{P. Corvaja} and \\textit{U. Zannier} [Acta Math. 193, No. 2, 175--191 (2004; Zbl 1175.11036)], nor Mahler's method like \\textit{K. Nishioka} [Mahler functions and transcendence. Berlin: Springer (1996; Zbl 0876.11034)]. The proof is based on ideas of \\textit{J.~Liouville} [``Nouvelle d\u00e9monstration d'un th\u00e9or\u00e8me sur les irrationnelles alg\u00e9briques'', C.R. Acad. Sci. Paris 18, 910--911 (1844)] and \\textit{P. Erd\u0151s} [J. Math. Sci. 10, 1--7 (1975; Zbl 0372.10023)]; they use a result of \\textit{M. Mignotte} [Ann. Fac. Sci. Toulouse, Math. (5) 1, 165--170 (1979; Zbl 0421.10022)] giving a lower bound for the difference between two algebraic numbers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409610$633149D3-EBD1-497D-B3A4-F4211F3CA81A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"98f76666c1f4beb74f2e091a1eef44951a9cb98f","datavalue":{"value":{"entity-type":"item","numeric-id":194752,"id":"Q194752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409610$CF6E161D-AF96-4968-A737-C587B4F6B7BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c4d8defd21b53e7641f92a39f901060616e4cc6","datavalue":{"value":"11J72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409610$C775D6A5-241D-4181-AC3F-26E070D17B4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3be9732fb74afd3740ddb1be04b451c04f7d5137","datavalue":{"value":"6790024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409610$9668D3BE-1F6D-40E8-B793-24D1894F5A76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ccd4b5dbf2c41fffbc71f0149d3d189105a084b","datavalue":{"value":"Irrationality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409610$5EFE99BB-F303-483F-8961-B0761C46F785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e0b9a9af7456368af126c0512136d9c21f9d6e2","datavalue":{"value":"infinite series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409610$8F4A2138-D6C2-485F-A5C1-54276C87B37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bd909d5749d4ec09aa05d7994e812e5e55e7d05","datavalue":{"value":"square roots","type":"string"},"datatype":"string"},"type":"statement","id":"Q2409610$10DCA15F-A02B-45F0-919B-6FFDCC62E61F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6726383b72a616914e7601aa412a2ed0fb641491","datavalue":{"value":{"entity-type":"item","numeric-id":255136,"id":"Q255136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409610$6020C6CF-80F4-4876-8947-BF89B13732F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a77061923c73887955b8d92447fe40b38a1f6168","datavalue":{"value":{"entity-type":"item","numeric-id":1366919,"id":"Q1366919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409610$107C32C7-39E2-4DDC-8910-0094D8977DAE","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":"Q2409610$49AA2A3E-215F-4EA3-A774-93C46612F43D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd37b4ac040845572245830b34423db5501f3edb","datavalue":{"value":{"entity-type":"item","numeric-id":3081540,"id":"Q3081540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a4ec28557491f3774f6c2a1e1b5861646a9f2b","datavalue":{"value":{"amount":"+0.8510310649871826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409610$5E644C70-E481-4B52-A757-663C804FAD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d11010376d118a8365637b04b16850f45c79799","datavalue":{"value":{"entity-type":"item","numeric-id":2996990,"id":"Q2996990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb25164dfea8bcdfd7750cc48614e2f820da1ad","datavalue":{"value":{"amount":"+0.8396801352500916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409610$3048B349-34EA-47B1-A71D-8DA9A786E065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44d5d8e7aa74bdd40d2995aca504545401ade363","datavalue":{"value":{"entity-type":"item","numeric-id":3918191,"id":"Q3918191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe06227582739c68290fab5162ce3e60b14934c","datavalue":{"value":{"amount":"+0.8387994170188904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409610$43180FF3-B3AA-497E-9460-8F7F13730C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f5ea3c308a6a28ffef4fe54e5580ba66b9c0a1","datavalue":{"value":{"entity-type":"item","numeric-id":2569681,"id":"Q2569681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3f3bac4e7558ea778a15eec9eba840feb93cd0","datavalue":{"value":{"amount":"+0.8358756899833679","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409610$6D23686E-568C-4A27-A07F-5AAD286567F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d610fc50edaa5c78f6e070740340ffeee296a56f","datavalue":{"value":{"entity-type":"item","numeric-id":5918068,"id":"Q5918068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d67a138e5e805ede9c70ffe264e2ddd008626e","datavalue":{"value":{"amount":"+0.834182620048523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409610$36BDA8EB-1343-41AB-B927-4E4943504926","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the irrationality of infinite series of reciprocals of square roots","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_irrationality_of_infinite_series_of_reciprocals_of_square_roots"}}}}}