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: '92d2f269dd55a5e3',cH: 'FuV1AlsxXhVdrBloC8bGM8Fi.bX8.yk4rJKSJIf6iXw-1744127704-1.2.1.1-cek476lM9wE8v7jFnjNN8SeZ_zHKIMvr35Vv.ehbHFsuoefxMXRO_zSmAEfLdLJ4',cUPMDTk: "\/07904637?__cf_chl_tk=Z1xMhSkYnmXFJz1VThLxY2S8t6nlRFvKTjyHzBQ_XP4-1744127704-1.0.1.1-h9H40zPDbhx3y16ut7a6di.Z.yUmg25mp9IDOLaEPMw",cFPWv: 'g',cITimeS: '1744127704',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/07904637?__cf_chl_f_tk=Z1xMhSkYnmXFJz1VThLxY2S8t6nlRFvKTjyHzBQ_XP4-1744127704-1.0.1.1-h9H40zPDbhx3y16ut7a6di.Z.yUmg25mp9IDOLaEPMw",md: "15n.m7zbS84o8KSi7qWXn6b4NbgQ8JS_6l3zoaqs0r0-1744127704-1.2.1.1-UE15QOMlCk4ya8ea88IZPv1ptEBCOt4IbqzLBjjnwNz.dohsYvG8BwO5_HLZWgu8eEunCczHad7Zxz7kxLq4j9R1ZMk2mexXXTJRM0PHgEBaODbfXVtBsbNfUQVgU0xgA2i8uajC08CkoA1y3JHDScSkspj5guK2EAhx_51CQrSlQHmOuprOIbfz_5LDZWT6g8IRmHf3jJWg1PqmY2cz4KyK.o_R9pXs7sguTHeYzFWp1ZaDe.AzOX8z8a1OGW5uMHaKOLw._YsURQ9DBWAN8iB2SpY15CcsFRuL7gVkS_lHzOLVyd4SWJlBjGuANZ_G512kI5iLoW5MPLiO.Nswd3vtvKfQRuTEjTSCjNcjonJQhqDZyeNZ.WW6qvKErABVR6PBXe41pEHMaSe8Jz6c8E849lo2xe.FvCOHAhFb8nhd.A8Tpshv3AJqhkE3eSi4SZj75ZC4o2lAJ9a5u6K6LTbdIoI.hTJdC1EjzWv5uqW7lOS593PT9TiH4XQfcONA3f0pYKGv9h6ISgb09aqQkZgZYlNNpWqvUzpq73xBkM95J8.NXZDHyu_kznz2Ga9ENm4egNE8nAIeM8TKHde6MSenkfiAG86C87K47b2estiZd47lK9dm47I6bla_CxNnaj4D6SmE2MOKNKmISKDhvaCtTLzEibjMLzDv1QK0swXlOP34sTrJPbmBIaK8Pthe7hh8a_xUzqHlH80G2HIWKQDha7fOOnNcfYhNPDNyBXY2Nm8NhsSyBtjdt2S.i294VVHpBawZKdV0EwdAxzIb1lY1XNtE5oavNeeKWyM6tEj0O2QKHeGEPKLkTgMKcEEfb.ViGqA8fzceQXuGYnaPugxgiybSCUejvlNS64kLYt8DOUICo7ybxnVBj7hDaeh9s0_gncBECRaMC7bBtcZ8jtBrmHaT0Hof0eaW9sRP6TZD37kfglDFwtHo5Wo.YOzKZhKx_beQ9V5Ow4mb0oz9zFBqMKPotEMuPA29hQEpwJlLP9nAEXKVgS8QNy.3uwLAc0.5aXljvJL2Ymhq13J0674nfVZHsCSKofsTatZRvzmqwyZ4GefU1SjdCu9uaVQ9T3I8l5Vzyi0jvWj6HG8cJHir7CRBHPdN0ZiGyN4q0xwXl7DyrvLJNBcuRKkhF7VXnkfqh51wetJJCJiPowTlJr1fHVlWI.izSA9tmnSC4FG5S.F5_us5qhngg0rO4lUv",mdrd: "nnAmf0.EqAsWtUDbS7SmV9SFeBrA8g8YfdmdljYRbv0-1744127704-1.2.1.1-3wVNFQRPrlVUZVdAv0Ns3JbpxnhtshCuSAl2fHgx8eZogQ7AVRCr2zZw0ZZWNwdMqgwREC36vcEOjGIUFcr4OKAxTZjYhXhoEHMJ68BMtfUQiY3cYxDZLVOe0udUUjpLYKY5ceQ4OF5PNEYz_Jr5uVUK2vsErhZO_Q5tuo4rBCpX6M.3WTShiu.KlG81a7AmgpMu9qPxbpHjsI7HhQlzJztUyF6k5prWiU_FJ5TpvtKu0BK6yY053_FA2cfYcWd4ZEa0xBaAVN8IFcbw4wDnmSpnct9q9JR0IA0YA8.tMQFJE.FrSYKIBlHczFxpZYiaGUkJIx0e1AyDWsA4e7zHmF79UEgFEy1YdiPUeycuPYBs4zL4LjoI77s4St.XQVIkgrr40OyCA6TT2CjxOKP3PxdQ5w1DuA02zUnZqKEJtpesT5JYIlCahJnTBnOYJnUXO2Km0Rg5AD3Sasp_a7DS6KT9fSCU9FOF5Cbg6YlAnIlMl0c0U1lxJ0X_RTPHnKxnkNreXt5JeivVADm8jUQdqY_0X1.XpD8ePKv9GDjN2DW_IplO2sobALDA3MHWeul.E7..ZQezKsJuSI5bu6fnzA7ZxHquluMjIgcvPYSVT2C8PovvZRrCyd6LQzaTMCWq2NZLnTpjiwquOZVL_q_iY30enLTWU4dx_9Ty8o84R9LesSypIJkcaVs3bTjXMM900CVmBybf_tdhsyYE0sEAaGYknWQO44NiG3D0tVZ6niUWd_ltNUVCrPn2gjM0rXu.VqiQ5.7V2_XP6iHumtVu.QG_7YVSp7tPTWSWXZXe6aj.ajz6G7A.vBmY_3iDhQReekDjasALIAQhGZ5BjUwfpVWbkwaj2bUjpM.jrKvuDi5Ko3Jcem7FuZqwGWaItXlzzAtdzX.LKRY.EGZV3kk.uJMe0Ft2V_Zw4KONHOV6v9C7DwFcx7W6Lfuv_7jDcWEZxW_71XSjPBCf5kVrUPVqHDAp9yejYaKkLjGZdG.tVWC2bsnl523PDmfQ5aRBba.g9fJ4O60sv3C98aSqD7HdfYOloO6xo9fenQR0bnMfvAfDvvveQncBhwOC72UOR0F7BjF.2Rln8JI8rGNiuCG._QyQU.c3K8rwuD0JLInBvb6LccTfc6F_ZVAIVWheZTG8tqzcmLWg7.G83gYGIv2VvGeMv0doKCiJ8PEZFTeYrDXQio1UFr3ZfmXhfNgRLwyOjDfSOXAdTgCRoZcvI9gZKr3ykZFFwpx7hBk252MQtb_oTxS3p7EsN2Q_2DzWyXR2aLgq03v7DXs9e.3c3ulU_cq3a7bSvcFDrrWAbHETWILXtXppiPpjHhtN4SfgMMbalGHfAQliIVTHjfegna7K1b4u2DdnpvPWE9lSG988.BFjxuDxg90UP9Xt_YGVIEzzws1C1m18e6o5AJtXbr1AETwlTseVAWrlHWAdYTWAMxqtdZFT9l_vdLQpCZwFYXzjdFepZMYIsbDwm3y_Gf.eNQXIuh7fQHrTQ5qDe3Tjoeu1MWzYs2ckCy2DWjblWaOoqgf5F8u2bLfviI51ZP4CBKJbBju99gMBQaekiAJ8Ifhz7ECHxHMEJE3ByYgSHSnI.vGjlyqzzVTTbn6J7U7s_z0lkYN0K_AlEK6wi.eJWQTDCFLR1cIB3iaEyuw.jXSp3VB72bnl3dP1AEUJsd_XWQD4xiDhULjir7IpeSlBkMv1XS_QB4vUFzSrvZsOsKHnzvQ8XfHN3Vb2v0blOLud7duoOB8seDO.GBOSoy7cmzafvo1YyzL3MnOaFt.R57ElKC5V3wUKMyNQXi1p6cD53pdtsXPfW7X_F_bb6bZyH1hARJBD5oZx6rP.w95M1O3_aXe.Vah8rD7VjYznpXq7_GvxZ6vvUTSiaxRLtrxWAVKHr.yiO8l_JJW.KHWnlL.GBOT.t7w7kD3mis7wXzANPWJdPyHBQM11inehvNOW5tTlpJGLRSOoBdBMLHiDAbbgY6N_yBISpdxGpDmFKQ2zt0ZhbsTERwqa0q9W7xxHZi8piWTR7xG.IetfJdkimDdQoChW2dIt6mI3BfcrIYOpLA"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d2f269dd55a5e3';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, "\/07904637?__cf_chl_rt_tk=Z1xMhSkYnmXFJz1VThLxY2S8t6nlRFvKTjyHzBQ_XP4-1744127704-1.0.1.1-h9H40zPDbhx3y16ut7a6di.Z.yUmg25mp9IDOLaEPMw" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>