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="360"></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: '92ec7bf76e7b48d6',cH: 'LpWpfczYOO915LL2GbsgvvxB6dmAddH9ehK5LnWbAn8-1744395482-1.2.1.1-eUE5Vh2O7AaSAKDJPpK6R9B9U6R4WhuGWetcos2hO3GsA9bW4LmZHr3RlaCBC5vQ',cUPMDTk: "\/?q=in%3A412928&__cf_chl_tk=TNeXcLNnzPuxRYJZxgIQJXiZ07S2g_DwifLxuV0yHHg-1744395482-1.0.1.1-z16XqCGhqR7aykxY0HUl2iiquxLr4MBjZj8jiTaoZZg",cFPWv: 'b',cITimeS: '1744395482',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=in%3A412928&__cf_chl_f_tk=TNeXcLNnzPuxRYJZxgIQJXiZ07S2g_DwifLxuV0yHHg-1744395482-1.0.1.1-z16XqCGhqR7aykxY0HUl2iiquxLr4MBjZj8jiTaoZZg",md: "Y7lP8SohrSX1fT3E2xeTsFgW7Ax.QnQ3PRAjC2JNK20-1744395482-1.2.1.1-D9OSgdu.3VPxJQs2dWxylCh9vMnAzaR0c6O3Jln_TLHietlH6f6qhdQuik0hBy78CIXEqdNRaTRXDv0DsmhH7WlkyHCB.XAkwHkxHoDJr8YDHukR3BBbG257ELhAyRBmzZrLyRh6EeK7hvODb5IQ8pGu8gPBvG7jryqbZbXx1FYLGJRSl7GzdVsCQn29nvUHsswb_Gbtc5PJS9IAl_KO6W4bEuLANpwxhI2LsbtqLEg7Fnywvt_qjxxSLDq9EMxUUkS0noEOQ87E_yQ_O9fwN04WxpBtS9z85CeY6BWHpEeW5drsutiAEpIGGODlF4CA5BOcFXonCMWafcQdLaSKUMuPCn68AYwns.kAnDMGQZgV5TCVsehEY28RmmMUDHvsU0TzKLlAyMBkYiw5qxu.d_I4IZXGW2pO2E0GvkInlXYaSM3KJ_sStW0_9D9z4GGzMjCrU4HgLXS7Rh5fK0rxGvsID402nR_26Sm2.rISklzKp.8TCEaWx8ZHHcAxH4QjmI36aAzjE78sD8ghqsZlZO.VFxMMllBej0hDXfxOgW1WVFjHDXjh.5GdDhh_6nOdUfiySGAzHcpXyGq0w95hG9f.p6w8EbMV.rdUtTOoVVgskXP1xhMomc5_n4wIWDw.DPYLW3Br_Tjywpaq0PPypHofDD8WK62e4aUbvomOzOsgUTLPBtgcxVtEbXHyeBq_NDjXWUsdzWY3Cn5R_JweIS5lJ6aVecP7oxZlKEZtCDoSiT7FnWIhjcuC_dNvDqH4r32VW_Ye.RM_4LyUhQj7df744NDp8kwHGaeEnNJvkKfZ1YDIc7ckaUcZVZzGJcj61TJScRPivBPmszjB.wGqwS8K1bCYNErngdrr546FHS6TYk4bumj.X5zMG2Yq1uLix3m8FaPZ3LOtk_PZYZM3.LHkdmrA2_CT.4bQNUKGqEM1CHCe3ESguaHm8T6fAdT0QedWKHVnwADultTQZ50e8dFRq0HFENyYJEr4mnvhzAz6iwVLVFckScPiDNlSmaCiVWiEIJSiSBxRnWNoL9OMBbJalbMgC1GCwrEeULiS7MRTeFjzk_Q2UE5BWQ6ML.T0DqfGG9kvRP.APJaTuPw1ZZJrl5729LmtkR0f6iYrnSpAQyelzTO_VIXJE4qAx2p.hZY5SBRFUwYi1AlG1p.aCKW8lF7S9teWKW9j1QCEERhPa.Q86pm2LeEULh9PMyhz",mdrd: "hbqYSfrdeD4js_vZT4QX8jf_zcXtA5ZxcL4noInBWx8-1744395482-1.2.1.1-brfqByofpkjljPW2hIetxsnyPMxh8xNxW.UkK.mKV7IVWAGMOJtiJtow1doqUHdO0kE4tCylv6372tnp2IZR0SqGLBQ1VuXfu_CheXc3Rrpkq0HZmgPQGmHKlhJBj776dSgUlpkV8.sXw3zk4mEFOUuBfsE8bU0Xo4t4FBvNCbdsOjO.28KbgYdObNBMgNRhkgkBDhUgu1dcsOo_7OnA1GAKvry9Y64RSyZrevpQu0Aqw9Wk0jMIc4ZFJjkR6unnm1pmlCntfOPkySA3Svls8ENUkdEa9EXqpnFMI73JcheKCYmH4NBQRVqmpDs4OKOcpeoB6lQkyXvPDLdu2MtPxlF82xzGwwJkxwmP4_ipV2E9okN3fANSFSwFdqWm3wFEMTcuYUQbqFFgIBYp9zZcFaISeA8GudlC_aCR7aExmN89JpdrCIdOPTtd2wO3k1L66TNK3TB_F3b_ibSFgqLG1DfAunj.26k9Nf_QjjdOUhAQSj6Xh5o4cxRqELI77vLzs9U1wBhBdFA3ieJjpQuJZC8PStmLzxXSu9RP4AtUOfw4rhFzO7Km4dWAYsomenpt3ZycchTuDHImJYYFBFeaqfYMr0LUgDfK8Q2mriOojW73VK6Zb84UMxh4VNYMC_JCROco_357DKI51mjBKZ6UzXWyRXE3g0fdmiHe8EZq08CYqfF.3Kb14J4BqRbj8xhaGbzyB97ssDel.DP3d1zaI4uf82tqHvlxRfaY88O4bdv1vIPk2mn8WhWGta5Dmemg3l141a5hgsnik.VRkwwnAESYpIgVkcmbQ10Mw9OTg1wUkybyTVFtlltvNPZaD_GFDxIG0LV6Ls1ibSqMomdoSG42hFCu3nLlJiezQj05qdpEZRRtJzIW4fU1wggP1oVVNv2.6nJj.nFXJwoq0j13mGXcZ1IWxrrcsqxZrdUSnBU161H2zDmxmSpWRHRaWvOCpcvGXqJoSVU57YfW2tdugBq3Qo4yaEgdKm3Iw18hzpW9aRSg1PFYl1437jFLSQON_p3K1vvv0.80rA2w5ZKvhUDTaiCl7kCBdZPKZWOLbVC4ukLhtJCfUcDr83f3YFd36jBUL.l1zwPBXBtIVZTGNU9xB4PnXe5mGlYZleJG11Cm3O8B.MsmHg1Uc4BySm52AX9gzw4d6HXam9lH7isVqwMq9_Ec0E16IGqlpbSLBv.oRC1u_TSHmNaJLDsBrRnfP9G6fp5cv8jTL6Mbj_8cpwDZufGr5eMqAma_l9K1Au93s6SPrACej.AgSdbNJq462DH6XQH46cIUpPU1sg9iMVVJacJVCnTn8xa9unyaXvWQoXT3vqETThhCITZAXPF31bcXTzl.24QbznRrdFQqE1IJuAMtXuxXfa6Ob2bRxK58yL2ygiU56YzSceowiNRUsbmCgYxnw06oGLgWMplEORRbEDz6jnjVPqS3pglmcJnQ4r.MFO96lm3nJv_rB2KL2JGduXS0rqRpuWoTcZBjfffQaymrSNC6OsqunHd0dUqtzYSNNUxG6VNU6cNG177F3LUfWZf5A13nWsOl8BSAsrFhaFFliNjzEjfgvxrQnsgofJ3OuGZCIWe4dbv1PXtf2s8pr.gadN2guyGSBd4mfUcOZVHL4L82t0rr7aRZ1Ii74zp84kXUQuGXSw9nbGf.LvQ2P0OIpt4oR5fzPlRCCu_ZQPNr_k_x0aimmuF8P6c8EbJr5jnOuEik2GdSicW0sMqbladCjrXdenPMD_AsVYeFeX1d4zIxIe_w7kHx8i0C7OGYTAx2c0GN4vx0kdKCZPylDZJEGQPegPMAvrn6vFdhqo._Bs3nV.Tcytb.C.z4MmDqLDtBBau0ZtJ8XYWt_6eVch30Qy7jAdz0ez0CFbEEUkOlglSVoV3FxjuQNupuHqf1ZBhBBR2jYN0c1onsU7MHHalT_AYUg4tIV5t.ZCp_P6Ty.wym5hIXb1sxCzmF6Nbx5TOKmvsMWCpnB9gqClw._z2iBTSoSlB7EJ6fww42dfCE6jCazKgwItusuqZGderflfmOYdfWqeiiywAQ7yRWCK_IUoQT_v6Xx0O.CQ"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92ec7bf76e7b48d6';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%3A412928&__cf_chl_rt_tk=TNeXcLNnzPuxRYJZxgIQJXiZ07S2g_DwifLxuV0yHHg-1744395482-1.0.1.1-z16XqCGhqR7aykxY0HUl2iiquxLr4MBjZj8jiTaoZZg" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>