{"entities":{"Q1137057":{"pageid":1147806,"ns":120,"title":"Item:Q1137057","lastrevid":48664576,"modified":"2026-01-05T13:29:42Z","type":"item","id":"Q1137057","labels":{"en":{"language":"en","value":"Bounds for \\(\\varphi(x,n)-[x]\\varphi(n)/n\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3666878"}},"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":"Q1137057$B525937E-9EBB-404A-B768-BE1A16F1B53B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5fc418cc9634c42878314da11fd2eb21207cd67","datavalue":{"value":{"text":"Bounds for \\(\\varphi(x,n)-[x]\\varphi(n)/n\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1137057$1DFFEA8F-F22A-4DA1-BA35-D4C52A661828","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c841ff24217cdba50a02983b920fcbfebc3fa4d","datavalue":{"value":"0428.10004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137057$2A375BAC-FC40-437C-B617-18900FF496C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c209e00bcb8bc2ccaf6c2be06c60ffe8ee661f2e","datavalue":{"value":{"entity-type":"item","numeric-id":1132217,"id":"Q1132217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137057$BE03C502-23CD-48AA-823D-49F559EB978B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1137057$D9475D0F-51FB-48F4-B24A-604B7F992ADD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1137057$81324577-1FEA-4E71-9715-A03B79512017","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d19b0329585b923e055b6aea8fb9957818e5c40c","datavalue":{"value":"Let \\(\\varphi(n)\\) denote the Euler totient function, \\(\\psi(n)\\) denote Dedekind's \\(\\psi\\)-function and \\(\\theta(n)\\) denote the number of square-free divisors of \\(n\\). Let \\(\\varphi(x,n)\\) denote the number of positive integers \\(\\leq x\\) which are relatively prime to \\(n\\). It is well-known that \\(\\varphi(n)=n \\prod_{p\\mid n} (1-\\tfrac1p)\\) and \\(\\psi(n)=n \\prod_{p\\mid n} (1+\\tfrac1p)\\). Let \\(\\Delta(x,n)= \\varphi(x,n)-x\\varphi(n)/n\\). Let \\([x]\\) denote the greatest integer \\(\\leq x\\). In this paper the author establishes the following results which are refinements and improvements over the results proved earlier by the reviewer [Proc. Am. Math. Soc. 44, 17--21 (1974; Zbl 0284.10001)]:   Theorem 1. If \\(n\\geq 2\\) and \\(([x],n)=1\\), then   \\[  | 2\\Delta([x],n) - 1| \\leq \\theta(n) - 2\\psi(n)/n +1,  \\]   with equality only if \\(n\\) is a prime power, in which case the bounds given above for \\(\\Delta([x],n)\\) are both obtained.   Theorem 2. If \\(n\\geq 2\\) and \\(([x],n)=1\\), then   \\[  | 2\\Delta([x],n)-1| \\leq \\theta(n) - 2\\psi(n)/n - 2\\varphi(n)/n +2, \\]   with equality only if \\(n\\) is a prime power, in which case the bounds given above for \\(\\Delta([x],n)\\) are both attained.   Theorem 3. If \\(n\\geq 2\\), then   \\[ | 2\\Delta([x],n) - \\varphi(n)/n| \\leq \\theta(n) - 2\\psi(n)/n - \\varphi(n)/n +2, \\]   with equality if \\(n\\) is a prime power, in which case the bounds given above for \\(\\Delta([x],n)\\) are both attained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137057$0C9A6207-96CC-43A2-B544-6DA87CF0D7ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"350ad9e3cb57303f41763f7e3b29497fcb98dda4","datavalue":{"value":"11A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137057$EF799FA1-3136-4B86-B6A7-10B36F8CEF65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fc32a08f68c83c6d2577205ab67385a1d7dea93","datavalue":{"value":"3666878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1137057$F535422D-C463-4954-8903-15F047F06974","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a20a18cbcf6320d19fca8e1106c0cb269801fd","datavalue":{"value":"Euler totient function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137057$73CE8B76-7728-44AC-A2F1-CD77AE1BB7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e0e4338f1e48e4e312e972404c30fe8778f03b","datavalue":{"value":"number of square-free divisors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137057$2E50A8CD-9C36-4B0C-BD8E-9242937A6F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45400a32855cba443e1dda7646088c61b23a6cbf","datavalue":{"value":"Dedekind psi-function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1137057$BE2C17C0-4343-4AB5-B6CE-D225CEFF8367","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":"Q1137057$1B9B6FFF-6179-41EC-922E-58F46109FAB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7212629227846eb94a21dd846a3576f2234d13fd","datavalue":{"value":{"entity-type":"item","numeric-id":3689241,"id":"Q3689241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b89c81f1070fd41879ab7be2804d0bedaed95053","datavalue":{"value":{"amount":"+0.8486797213554382","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":"Q1137057$0097340F-D4EE-4A09-8332-D388C5D2C9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2726b9f2495c896c6257756422818de5c3851ea9","datavalue":{"value":{"entity-type":"item","numeric-id":5326676,"id":"Q5326676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8c14571042e86097a09fae8bb1f06568b4d03f","datavalue":{"value":{"amount":"+0.7883517146110535","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":"Q1137057$94F3948E-C962-440A-B3C3-D4BB4C37A5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f1c40a55ad5e8725bfc0b19e39ed06e39d1a9a","datavalue":{"value":{"entity-type":"item","numeric-id":935010,"id":"Q935010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa722867944de4727c6fa28ba30f9c44bd09b959","datavalue":{"value":{"amount":"+0.7874020934104919","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":"Q1137057$B47A6999-19F0-4B68-854F-B77F78402A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70a67196162457f99da2af528ecab4eb2627ad8a","datavalue":{"value":{"entity-type":"item","numeric-id":4222199,"id":"Q4222199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e4cb660067f36394d71562104370c946e193f5","datavalue":{"value":{"amount":"+0.787078857421875","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":"Q1137057$CCFB7825-99E2-46DC-8F4E-2FEE8DF152FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ed4c88bd4d2673d7c3871cc14e3541d4f13be8","datavalue":{"value":{"entity-type":"item","numeric-id":4636679,"id":"Q4636679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3eed6d8d98caa5f7fcabea620a5bd3895a0f300","datavalue":{"value":{"amount":"+0.7866369485855103","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":"Q1137057$E4784D0A-9BD8-46F9-82FA-63E11A2CD985","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1137057","badges":[]}}}}}