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: '92d99e2d6f57f4a9',cH: 'CREqFFIrrKj04i0TpLkiRgrRWjRfsnSJEorHsOy7rao-1744197654-1.2.1.1-uMQCHu_TU89A2xRXfI0yW3CMdWWDsZt8VkQ8sa5ZE4h6zuBXkrfg7uNKfS.znw9x',cUPMDTk: "\/?q=in%3A405826&__cf_chl_tk=D7g7X8qbqIuwmQ64XX9rylW1UhFGt0UMuHwl4nYaWZs-1744197654-1.0.1.1-dIlJx0DxXKRg8y5DZI6zJhj7TaMnzwWsC.aIBRZoh60",cFPWv: 'g',cITimeS: '1744197654',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=in%3A405826&__cf_chl_f_tk=D7g7X8qbqIuwmQ64XX9rylW1UhFGt0UMuHwl4nYaWZs-1744197654-1.0.1.1-dIlJx0DxXKRg8y5DZI6zJhj7TaMnzwWsC.aIBRZoh60",md: "tszApSxoHHmJxC32ck9Kl8cK5vBrcknpTdxinfPv9vU-1744197654-1.2.1.1-UScY239XzJnbhLNgedtV6QPWg3tnCLexQ46nDSZnMIhCr60t_bLhHZvuuAPyouislbXDyTtiRbdPFctoe2Hu3kt9mX.R.I81.iz7D8L7.hCJGOsOLGhgZf0QCVUbfY34zJuD5COoAlU4.ITeYNXzFlmmS8nAZEIAaHYO8YWzRYI8rCcbuU8_qstRPoAIaxSoKr4_tUIiHGx2QLFxHGs9UchbZXLnSwabGft2_yVquGcrOuVX5sBPvWxPOYdugvOEZb6_kyo2OxkH3zlmPWVFQMqN.2kVakQP4QsmISNYdcmG8LOHOadTS5VqrvLaCtWu8j3JeIdJVqpCsy0xGM6xV4UPBuZj6HSN9Y4r4_EFVf4EAKsDsXaEMstGxeYbmogitIKCflwSR5.dqEa9H4qsbLxoUQyi8xPQN1IG4hu6tiLFFG9Z6yzbxJLjh7LNzNGzhv8pErRwtBg3J6mKSWrpIvdNnNhEl2W.KAyLZSuAeq4Yc3B4SJ0.lP7flBxiBRAi6gNUo5hv654bAOgQNTzS_pPUksc0vyRt6z_yG9w_2NqHEnXtC131KKgRBwR8qf0g0nfXa.qE9i.s6vVIM_sH0jg3OAyFLndnpr16.Re6UPN0ZugxeFdVDEt2XiSIsT9qQUmNaftQaeSUTmOutJTTGjPerRb7e6BtNT7NMObE3vQliRDS9oFtZwfH7tteCKixiesym8eyMd5r0QZaWQeUTilOJU8At1OLCy5xtkQOj0lcKqed1yLucPrgmmxz48ZYALH9FooD3UDs6vPGk4y4WW.0kgOlP23V.b9IHd26r1tVi0AVEsLzTpxUYWP5i2oIQpn38kFymJxKNsXjg7pZmw3.NcddH14u6wuzcYNIc5uYMe39y1Dgm6SxwMaMBBRl23sK2zs1K70IpQPSvBPjoqIkEc0qDP8Z2cGnhRuoTzCct20u.QrS9Z8_XrSotdCXVZfRP3yAK6iUzkuf_9ZqqwcLiPIkFkN31Y81p3YlRngusoCp0f60U1N1l_6vz0wQrDyGgpjx64FqTOeCiFlicklHnPPI84VKJpPvnNSXmRlV4u8EUwDghUEBnPIlp2NVUbFzpJe5p4VPxgLQ95thoG8OpCRBQ4WF21NbhJrTEX8h2J1k8KwldkZ8CdgwYFG1L6k92c89g3VofaW9XIcEwRWt2aQLzfLgm.6iraTevgca3Ro0y21YxBFJWjyeBZf5",mdrd: "Kz8Dgek0DhVbb0Mdm_WIgHwhneN35Ge2ty0c39gKG1w-1744197654-1.2.1.1-Ib84QTsfOmvkcOUmdgDAfA9xZZb_DssHDb0f.Z0ntNIoiuIzC6jvs.DYuBYZvelO14ybYwRWn_OhZDcC8FziomgGaAVx7Uc5hMCZfXXu81O0J.3fxiwRjJdsqGKotC4m0aEYtsAca13zFq23XY.y8yy5g3OBra95OMPHxTeZFypm2u93HqwCBCyIR4DxASRXNB.Kkr5zWH1d_ivBa.JWZV.OFKdyAKHe0JoVvos6PQAXFY5kMNUtybhnJASfcIQ9LYQLDeTkI0W6nvy1uSodBxfNl7y1qY4HABhjwuc2OoDZc8KMP._csU84JwWQQui.WuDXiqVB42ZBnjiDCBxhq1k5M4cG.YcqMSiYMEgAGI2op4Qz4vqmLitSs1Qm0_iHIkrIwiWmlGS0hXS56ybQdNfFP1jhGkW7L4VN4mgO3lpZH1AZmpNHSLqsudUygNqXd308J3smKMvhEFvmHBh4Jt8J.ukIh6kQSyoLl1_VOoczi9IgolEtKmZowzGm9hhB0qMcBL5qZuyi_2k6_efsG_iGOb65QDS3BAqYM6OMv9dWaZY3vSp820_bCi9ufyP4cxaFdppt3rw_hyvPSs7IopmNhbXo5J8fI01zgHduLSGRxrjOOUJGwAbGmAg_Z3FHFxeVEXMCCGchIqKHEPhhvKTKlwGdpmWV3dkjLOg.7s.vjWXHTyXdeaMhw8Sni9zbL41sKHxrttKOkePtD5LWLsZWDeRSnJfehtpuWxKpRWKp2Ae3XB6JHY5_uKOwNStLxxY.BqJk0gsYL0Xd8B4v3yjq7Vvgy43kC2ivC8cSgeaEoJoSiKCO7jJJbaxtmkTjWEENnbKjNyi63RSQMPiOCpc6o.2Vo.bj5JSEYfCGgt0zW66xsm0.n1vsuAqWBty968HklSv5dsD5YrrdGVK_t9Ynl8z54ZRmP1hWZ9RdYWAbrYmu6Nd4xeNA_ppT0cLaIDVtVp8.esr4AyX_cMNogr4Wm2QLUfUkkw28.eyJJRc_RHNoMyLPvxmThMK4Dz1_jPlqauJGSjdBZHZC_wCrP0uQeIbFaHiNCQZAzg0cuMsyF.GK1WYZU01Smwhju_9awDB35NzpDAwIhhtxAMKnvGeb5MD6ZgTm_W1s3uLYifvAsMoJ2FS00r2olG4XvrN6xlxBIZgzEVx9Cr3Q7FDHnRjYOaKOKyrvzaXkN3JrI3JaZy65794pC_9iQZQO_BDCla5awRgkX_n4XLf9bnkNpv4w_4dufLqWinH4eVzCxR2kEGI7DhGOtfCO2hYhgxO_B0yiMbVwgMro1FV7IJbavDNOw3mS3OgYLvmSQeJOvA0_3Yp7yXCni8sF2alrlrgkGirGdRzf.q_7i4LQq09tbBy.4EfQ18fmul_3I2XUXDkdVe3HIdktOfTqHrkQYfNyctdL_o4nldEmuk6ip7hk8ATqSFay2O8bKhz.SntITPw_guvzqClVEprbEazwDhV8cFCAeKGsugQSlrPiFmXb9SLvY0933sKOrniHrkTzlzSh3cZHEaXtZmBntAGOtL6swYdhdEGTUYZ_glr48RzTdrWxdaVxMG7cI1tgkogYor2LrFCW9v7wiC2V4nGNZ2BaFeFkmAUtzTpYZ67kTnjiwbQH_lgwdFoAOwq5sEhzJFlUZQHfcNBI5SsUFjxsBrsK328f503_o4RXebYq.ep6ecD2isgOHhywG92Mt.19cfXrcVb9ZM3DJIr8uE4OGqsHGxm0NBB.THkdoAkiPTuDGg55YJ8Y19JJZrA1Lxr6pRxCIobJ1L2lASon.D2xYv9O.tOk4Dq.RyzX.eytjr54wY9CU7ofseHFyzxlxD9qhdOofZVlmkcwIR3qAZ9wFIT1uy86hj__rJt2UFNjRBAoS0OAUneedYasVVydziRzSl7y2mlLTM9xKsUpSMedVMpde.4FVqfP.wufG3tSDB2Zp.56xOEcvdil7YcIfDtTKjGF9p2USffZHqkpQodo9AYhWAsdoHzq7jhBllyAC7OA2sLUyPQ0QOjNF5ueFOakknp2NTNb630cOuOVtRyuROJf"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=92d99e2d6f57f4a9';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, "\/?q=in%3A405826&__cf_chl_rt_tk=D7g7X8qbqIuwmQ64XX9rylW1UhFGt0UMuHwl4nYaWZs-1744197654-1.0.1.1-dIlJx0DxXKRg8y5DZI6zJhj7TaMnzwWsC.aIBRZoh60" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>