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: '92e40eecafc0ce6f',cH: 'A17v70rtfrBcnb.3tLKf6adPEQ7yzgV8E9C.YgTrA9Y-1744307130-1.2.1.1-UGc7zmRzU2u90aZvuUE0tZrgGj9xAL.nIbdIz3zF5J5M.Ef95DMztZymFv3NBL7Y',cUPMDTk: "\/1499.53052?__cf_chl_tk=ihfo9i4dPROCPo8Xd0p6bkECMryv1tTeoiHjtqDE3dw-1744307130-1.0.1.1-f_eTzTak36pzVAcvM5W70Y15ojnPjGe0YYB.oC1kBco",cFPWv: 'b',cITimeS: '1744307130',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/1499.53052?__cf_chl_f_tk=ihfo9i4dPROCPo8Xd0p6bkECMryv1tTeoiHjtqDE3dw-1744307130-1.0.1.1-f_eTzTak36pzVAcvM5W70Y15ojnPjGe0YYB.oC1kBco",md: "..1y1HjXOKltpVTMSPSqOMJa_LVHfPjcnsL5vjgahs8-1744307130-1.2.1.1-351e6pZsnGAHCZfTGSkDUl9MoD_LkXrenDYW105r8fjSNCjqgPE5sKDK6cv6j2MMGIUdLaHfpxhlUkgaSI_FUTZvX_1ba95ncacSnre6K3g12m7TwbUCdUya2yNpFYVDRB8kz1lnLezBmvJLZymR2bK4ftDw70LtkNXjSwS7TOsgUzKcgCvMqFxgwbAAQ_sHqks0c3d1qyrofHAh30xqfWZIxvF3cBv0vxQ6V3L7dAWf.HO141dLw4GnfvysD7sxWC8JvnjXD27ZMV5LVj2GaLhyjDH6ruwdD3rBnUSzP8JPHXQRRiyp_4DamWWqi5BIqaTvrdS28DTe_xsbhwYqBVZ9XejmOZCXkwChsBY7LEPFgzvLYdALF8wGtI2S_W0vMKoNGUG6VFYt3JN569jIJ0OpXqyQlfJJxvh88fGTzLa3Amdgzd_JpPp5Y6fyyzQO_rX54ODDNxWO42.ctxHUveJUNwKg2Y1uIzjlYi7AqCSWjUsHzQ1XA9TNljFN3iN0xLNGH_MuzOyDk2tb8dV5pWXoN0XfS6p8KrEOW28Hkl5xs0KRezoz4YH4kE_IxJNiHnDCeWxuILKQMBA.84RRUzRd80inYdG_10RLPXeRAHLPtHq62g7.xcZZF7n6Tv50888LPDqVgn9r8Tm65DCHisGT8_hUPTJi2Iw6h.RwJ9xZFTmvM.ySFRIuEVftQ2ZhOQVznQs_eB.93hJULDW8nPwrCueiMln4T5e0sUg9XsOu1FYXfCPS1_GnjgM84skT5UBKNFQz5_IHXr08LBpX9qFjulq5p9julQJskrrtAhjuSA.TLFaYDjUHUNepwQOt6fC7GQyVIv6Bz0JpcdedquJpNWEweuLdO5EbThrdYejX4O2rlnJW0MzpTQTZ6vWq0kGUhslWNAvpTHSGY.2IXmshGCIDtNKJ8.qjhg4CfpfqvbOyrnkhWBFMpomvQTEnQNEyGLJNMMdss0.4b086R6P46Y7VPgHz.b1NaQHvz2Aj5puDf8.ZuniPRZSdaRYj6mVtfXE5Ep5oU0MtZIX1stQnUm2_VkwTcoE0J5cNHMaYV1jdz3_0sxu3r_2rJtOl31CeiZ2XW7MMcYtunw7JIZLBOflS25JVpWVnCYGUJKPBYWVMR2SxwpZ161wNOIdZGa.goSVsUOYhFVqVdYwyqCyfTg.TNL1An9Kon8tnk6c0b8OtoqPy2i1KkVrRSZSu",mdrd: "EaQyqCqUAvt_BWWfiD57g2sTrh6AITgbAErquKtAQaI-1744307130-1.2.1.1-LyDZeSEAr.oqxq6nrZQqWx1i8EJFWLdmLm_2Qxj3XGLXKoXQcx3Tn3JlsZMBdC_.2GytuS_W0sPRgBoWqwAsXj1iEFoY4QsuddLjgnLMTG6qnMUydEKAj3pKqMqYyrjKUafcXasRiLEF_mjOF2Dv.RttAZIH11OjGrgV19cDvSbFS7KHpxkwgt90ArVY1HPdZIPqRGUD40XPtS9mr9VyQuPZoQX2iyXZdXZp7LDZPGurBLra_XH5LtkZ4iG4osfNdl3290_RfJH41EVvAwd2_TEmbsiCZeqWcOoIEgZsBfpQxYOcYJOroU51Ym7YoFHn0.Pv0Xjole5IMJliRzN8wHuGH8fupkkw1dc0Dbjb15wRgVv7dksAz4T3zTGkrgvoVUu2msaRxsNlL4g88ElgcXtgKz4rSyIpgOqBrAFbhA5JZZ1AoBg1TQcmbCgI28h1Jbero9eWXHeiT_D07cHPBfSTHtRiAXbGI.AAOk_M_7YBUVo5sYWYuSYlFQE5w1SalTP38OG.vjUvkFt7S3V4pE7vbhpJb_D.UtVCXdirzpC4F2LNukucIIbDsEZuFCj0aRtGRQGT3PjXKDlEowwI2ngSfczdGcFA1p1Sdlf.1HfVATyc6ZsVQCDYNZAbbG1Xi5Ci7LdlzUUNviV4l_A2N0izR72vX7rkLT_B4K8eA5uwRq2jT.hXwJfhqE3pfgW8.pXvJx6xrzHEsi1PulVJ2EhsGu.KDm.XIopofyjSfiY8s9tPQLgkpgbLBz1eer481o2wSI6EbLSr4ZYtwa9EcywbF.T2K7eF_W7JWc3V1RvtlpHor9zFCSVb_q3tcyDProbaAbou7gPviSjQgyxivBtrVYNy85EBN6l3eF9iabsuFgXfXBviRQmskRAMOYUdCs7r3K_90a8Gti8a84HYQyPLknProlWbkcj9wfE63aXsYuAxoUOj2RmP.mJ9VTTdftHU5lP8hYhxTbege.0gboJicEFuQiQcMx4Q4IspOKemjk4wFY95mhWQVzqMyABg.cP3.dIE5wWKck8mG7s0_0b2qXBT_dpkcleZGZ.9h9chFEwt.ZlQdouG4pNh05.dPrFKFllrQxXPrkfP4WdUjc3wnzAl02qOE7GvkdaPt7mAorxxwDUC4sTsfXuDf3E4vujXXkiSC0FUgSr3kBEzvLRBrH8kKUG6iz7G0nhBeaPhkE7JOjEUvDdVGE5J_wt_iEPWyNQ8y_xkI4mrROFemFMzyQb7vY3jBeZEVLmS66p8N8UhVMc.UUtmzTo3ENF.1Fh7XqKJoXAw1gyuIs2XSIqq4fdr.9FvazZUU7ATNdiPqZjHPH.XAl41IBryZ.73EcScUZ8etmRKZOGAt1e070Rl9719z4JccznfSXLk5ey9mOlKdLazpMBsXm3Clekfp6vsvMFIPLowXH.WB8_uelgvPDnyZq0qnH_UypTcHcUGQNwpJ6IDkSs1RHQjyDM3G6qqVBbHg9R1IXZgMidYNJMzyJBlA9xphpaFM6EuUfpiRAOVumSEhemhCIRH1w11vyMjCHctS2LkQ8cG4rd5c0lVDujASXp9ZSGUzCZ5RdcepnkCh4bbe1eC88P9e9wOZaHA7GXNWH_XHqU6D0_9hMQQNGfA4QpmciWIEw8RRe2T1kpKzad7hAOA6Zz8tA69afwRUgp7IUKdpvhUZk_DHjSD8SFeKVIp11UeMGwFuxNedXdOTW4RRQGVcebgO9DjyiPpHdif8SBifb.GkAfMgiVlu_N0b4ZAy1HoUTFnVMDm4KVxa3OqUDklVgd_3pHAXiI3uotUv2cI.6LxtmSABfOzDM9gyIijILwWewgXJfAZgrEpyBVpdsqrkPnSw3MvmXz3OolpbYrcgRqdnMwA7wA1RCkaQU2y4X5sVzeua7uQzUqo7UXcZZq.yUlEh02__ur6oMyzRljQnE8RpDP_.akNi7u0hyF0Ndk6JPppTIQwFJ1v2W_mf.B15zMNcsqN2_Z_V1Eehm3OUDFeMfas3DZ7KcdkwWmdpIq9yoIAJy8M32FGh7nRmOQiZcnY3YnxODovA9arzq4F.vh9tQtHrw"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e40eecafc0ce6f';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, "\/1499.53052?__cf_chl_rt_tk=ihfo9i4dPROCPo8Xd0p6bkECMryv1tTeoiHjtqDE3dw-1744307130-1.0.1.1-f_eTzTak36pzVAcvM5W70Y15ojnPjGe0YYB.oC1kBco" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>