CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="390"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "zbmath.org",cType: 'managed',cRay: '92e1cef93c963e65',cH: 'vZbCSj34vBEtSVHpNaDDJuKvFTIOkgKF5xieIyBx9yg-1744283539-1.2.1.1-WW_9M7DXWQBdSbYUGhP8wa1hc1jNhhgWbjuNMq3Uz3UZkA3F99yQ.hEx5Kh423lL',cUPMDTk: "\/0805.90113?__cf_chl_tk=730xNqmijSqxVsNvjKoQVslrv8bUiYYo5Zq9QJ8FH0I-1744283539-1.0.1.1-elEl3wr01oma8AlBfSxuUz979K5iAQSM9jLQtAL6FOw",cFPWv: 'b',cITimeS: '1744283539',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/0805.90113?__cf_chl_f_tk=730xNqmijSqxVsNvjKoQVslrv8bUiYYo5Zq9QJ8FH0I-1744283539-1.0.1.1-elEl3wr01oma8AlBfSxuUz979K5iAQSM9jLQtAL6FOw",md: "oetAQj.QdBZ7V3Gk7fWhnLXT7yBAeh1DR36SIIgDPOk-1744283539-1.2.1.1-BOPbkw7hO_Aag.26zjesRX8P86vb2lHVEcEoSMrScwczOJFh20mlkMc7XClvfruM8mfkH5R_aXOe0B8kbwW1dJa1mfcDKh4eiGkiKCUvMELZhMGRmRiVshFBKM7kvPKcs7EkLM3iP22vPfZhpev8IpPaOrRF.gFQbMcmHRMBrkhg8jUUsDCe6k5VWdXCGQVFSaS5UEziic.OQPg.riFeBvMYOcV_PfQ398dfFrZz7wrsse9B9txlfjepZ7fBmuXiH26qb_ovASBAPEp3H3OGiKafczHMC95voa0F405qEzO.181WaNfe9SlDq7RYbbVSXxP9p46j6S8yHz7nhzTW4ax4NXEpx281aCAaVYaaEaUwk8eUnCmBd.R28RCrvNGVUXngPPDDWH.A5OLSDr5KTmqugY5lyT1.DTYl18tnued.NjnzDDdpum96kz4uuaBoyRBEvyNBmO3Yn7Iab1EuQ4Xe1Ig._7BFLgEo7jGj0XmzMGYiXMA0bE8JOFztUCnPAFhUyn.u3thZBurvF.yyFK8Po5D.sJkPv0kl_YT5AVProo0w7b2NMbLgdz3MufCtZQc8tWJTPgYG6emCzShDxj0pwBybmuNqLFzKlw9U1D.fe.leepx4H7GnC8JBICN5bxad3RBTFXopbI1Dd0vR6Bv30RlT1npp.PZFNg9SmPfQ_mVtT8EFnk4vVs3iaBmmk6jaU7S0ZODl.RigsfxOYfyjEOL4Tig2KXmufzLOeOdk3MNVo1QwT7PgRmg1iB6v1zwPvxaCkW9MHUoSTIv6t214Nojv2UhAx11Hew4pDyXI0SGmMktytxnnVWf3cRAp8Cyj.fWJSszm0nnU31Dygjv31Obpx5ADlT9q0tE7.dkfO67Lx.l8H5JTa6O9gPRxmXiSqDv5k1jX9gs7RAGIwoq0n96sgR0ST4To3_4O_JYGIFoHruOuJmO.dSvLrTTpG3LibqXjUbKvYS1_dZw.8tJjWtgH7N7ECq3C.D21nUANOfsv4sOv21A3Ws5vi4FPgMWXMf4hoVlT7DkIrI2gAu8KdPS6Sk7.3sXR.JzwqrcFv2ZLKzvrmcrpa.m9t6Wkg_CCeoSp.yjwFjhAkvrR8vmSLCnvPR0VOohk.AgxOn.ws8r.kVbxy_N8V4q_XOwfdJ.b9GFEu4TKBoVoRExtlSOJ1jEXaJV23yM0sk3j31Sm0K1ECBfYpu3jQvf4XhbO",mdrd: "w8g8oRP2jD40fXTbHH3.8o_1MKXu6qpwPiepgIAdOpg-1744283539-1.2.1.1-D2Ps8t0XBo9VjNouTGBbuTjETQgDbynpBWxqC7G1oocTOQ2hsQMXe0oHj9751fJi2aK2ljelw_yTwiMYFe4DPj0ds6EU2b1KXRu1zveiuqCgmsW4Memb7hf0H7Ee7C.a7auzYtptve.o1sKijhqpUhJxJfokQveKLoAITDCce5CfGczpcuX_ioo06j8Be1cCQ0x1nwyPqXflXdHdACubDiD6FEozmwZmsGodzd7u0l0QGVX9_1qW5GafpcEu4EUzRXfpujELudqE8nfZHt6ikhQV7m7_jOiDfF7ABR7Mhy_X3FfrO4RcZ7ARA4ctWsVujFiqiheiNWOmwVdrcE71bOeeYBoXoe1WPgyhAlzXYLuwfLghaLQgLuvnumJ.gA0CGH1y43.4ZVMYKAVyxLzlVow6XL9Fnl06w8.NA1WAYCizJteflJwFbpxnE0Jliy6E0SWprdZVPxWsih0bvLpfuyxu2X2amFJxuCXJ0mcvSLqp_B.vPWvwAN5nXqXdjc.KWjTwNrOFDySMUWZ_H0xexyZjz740FTxI6kpd3zbkl.hTTeN.4clvDMZJufVf5uG3GvtI98XcQXItkRM_aly6ktMAQO6BJXsFVfpS3zdlD5rMgtWaczujrgsY7dr8ULacFn376WRmv47IaJSjv0CZQGHLJOlOVlp93ZYdgupysfzn..YzXOew_Qa.z7ytmkcB_Pc9Jjb943jlL4Qs4FoYj_bLP3mav3Q_W97FVd4PFCxjhO2NNSOv9YnSiAV8n450vEsjRT2orIBrpo3.69YbaDffC.pxZL21pSXLxoYDIeUb7iWOcFEDHs3PRfkz.zm56YAfZ6yUz3o.03d_AeLfGj21WU8VW6KgIk1jD_W47EsvFPH0ldFliVfs7xWnynFFfAnTQMgi.GplUOFX56Yhn22QE5U2Q6lzMAYeow28UQnqLr.gDC48to62s2LAiy8BHE4knlqazad32gLk.QsrMB7srVoilEn32fAVxYkn8vEkwY5OjakpJFvuDjcpnAn1bYN2zdHFGVV15iznqf5jIXIDn6iYS8uK.G2bBdLe0a.7gqk3.xlLOxXKpuQtifNla9qeODI1UNZeBWXY9cueTy0fFSaQDYLKxBn8FLvvGl.X82BVaoqQeAVXXQxiQoERQGLRGI6BCWMozvq_4.5MkJiCbv8yyMiB1YYsWd1h7RORUW.rCudA7DRBV8lPIS3tsLrJOQOh13VimArfiEISf089SOOv2TDXZ1nYOPby99IEwy15dOBds.qlqqfr9TxUBl3rMWIiSwL6MwQJZQLJFAcIOoi9lEGnU_VOAktx8Ap95riEIzYniqbBtnl984iupfg5oSrj1VrR44yjRstuS996Fg.rarpvj6WHIwUy56E5x8QAxajMVFfwdG1rORTuRV6eDS0G9UwT3vmA8aD2cANwGqwQRhTDvQa3fNBcOHwqNQgLyuuIy9P87lELYpT4iwCa7r38Ol08rxSro1NwzccgNYj544IS7QSzcbiRQqAHi9pMaLWrLp.XMHkjM04tmWIgCUwLY_EkjKvlbNeUJ.As727Nj7INelW43Ut4miFPnnC0dogrDJfiurhuWP4qs5K9Rzh.PQ09VaEauG354zh5UiWfw0SvV_EuZ.DV_NHA0m3CuPuerTBG2dE0kyGTfa.cp4z_sOLTpymFyiG6hP13twBpOMk4vQWK0Z38Z6PhITzLxV2Q7QHlZIoGKyPTxp176Mv2.J_YG.6jNOSQQitvj5pps4VE19ito2Loaens42LLcl93z_xqHn9TIJmrqWE1CQrH38G2jSUlMPWNBu2vvsweH6Pf_FBYNrijR682.HzxCw0AFj8bMjMbFMADVDpaWTgmlGUsXnewHZ3KRL7lZ8KpxUp0p4TrrDbBjj2LotXZGv.iKkApjd4pkV1I7zJir5JrbPShQzTWvoucIRNFlk5IeHNkjyVsC0HlxFaLHCpbvW9zJ0y6TflQmNztbNxtWAmH.08vOX2kUayTDCvhUkAXNmg2jW.Dj61mXhfnE2A5kNDqBtEMgRoGbOFG"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e1cef93c963e65';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/0805.90113?__cf_chl_rt_tk=730xNqmijSqxVsNvjKoQVslrv8bUiYYo5Zq9QJ8FH0I-1744283539-1.0.1.1-elEl3wr01oma8AlBfSxuUz979K5iAQSM9jLQtAL6FOw" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>