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: '92e8935db920a090',cH: 'Qkh.siqLY3pf0Fixa2v.uEetI1sNBz82w27btRbrYkY-1744354498-1.2.1.1-wj.o7vdeRF6ciPi7Y_e5yD1hrkRnrrjgkgyMaBT2Cixi3vncgP2tZ_lYN_P3HuMf',cUPMDTk: "\/?q=rf%3A938991&__cf_chl_tk=RV.FupIbDc3dxVDPExkZmA9ZNh7PGtQYCOMRtWt3iMs-1744354498-1.0.1.1-5fDUAJ1UaFsBz_5BykThl90lW1byKlZIOUmByLLkiNI",cFPWv: 'b',cITimeS: '1744354498',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "unsupported_browser_beacon",fa: "\/?q=rf%3A938991&__cf_chl_f_tk=RV.FupIbDc3dxVDPExkZmA9ZNh7PGtQYCOMRtWt3iMs-1744354498-1.0.1.1-5fDUAJ1UaFsBz_5BykThl90lW1byKlZIOUmByLLkiNI",md: "m0lrF83amaUer0Xj24iXL7ctspMVblfUR_RcwZHAnWA-1744354498-1.2.1.1-ChgJ344cj_asJO7SXJ3MqfoeY023FwzYNQEAbHiL3P8_T4R9VcmMkbv_.VLOf9DE6859svIv90YowiP0tbN5aPlPE6BXzhpShwIVzHw7x4aql26t3sR_iVwDuq2n_QCTDvz.zpCNqINGmA3i9UZYW.vo6PgNkd9ulNiDtjvEUbpuIGD2SO_XuTBLmdNixZ6V4jaolBjmLDPK8AwnjtlevA2dsbM7S_QlPOfWpuapTTo0vA3uM6o_ufedHcV2DYhktRkV2Po2KFPfFyKdQdIWqwy05sz5u2DYtaMr6bPbUoiwPEqUJJu7TDD6nnq0CcRPK43DLmo4gRP2tDBqm7k7rwnaTbDFEtpM6UHeF0ylN25WUxvw6Azo6Q6ATTQXgy7y6aBAm4WaGGR6Lp9pN.JsXmW_VZyv8faVty9p5OMOfUbkn8bnleeq5pLGaMxrw21SPZwm.GI2W9UNrknon6gEtB1FQRQN.C8AoTxfygIi4bpHbkPjFZqr1PdQTjQ_nHvqKZoLcbPoGqf6itOtetLLL_wVvOMtSN38uC3Nfy3FL5WwQFcOkaNa.vzJ0w93iDSktsh.FsBh4olOFta8XFjYJUWcLhg0GyXdzM4KjeDd1oFMYKkFvpiJTKA6hPDWHz7YBomm02_AH37LMJDaR.lXAgWD5x4Dtxx8OTSVf6CDM5Vn9wSNzD9zQPSH4gftg0vtO2qYzHbU81MBog.ho8qN_s9De49juY3U6Gh0.4CRDyE3e3f5WnRjq4gYb26jaXcqsKFNKjFAF4FM9kCWd5KAdUH9E1gLVInOl.Ow0QRaJAVSXPKlYCGXbld9M0alRAK7YLmMKo1VI6sqGgZW7nq5rtIeJdeGJnlJZzXEFdkmfZLqd12zsGWJOMB5f2GiP4w6qd.Z.KAwAy4wshFSCFaxwhG6jJwOhnFBfFqH_IjyvyQ3lACRH4xMvC_ykDqCKceKsEs6I8o0Aky_8WL_2gdDIumiESktd0_mEKjdkhqP16y9LXAxsFLLVW712yXjNIu8epuEQMgOTEBIO8Kx.mRSqMCPO7bo3I1sh4uVPieFrcXl3dXVTZehYLupAciQxR86Vc4.T4XpYIEefWrr41WNBWTpSADI7nyDrC_nCSouZcYSpY.vBAC4h30HZysVENnncKWk4CeA43gbpIf5XHMYNZSqSXVI41kevTXuUMidOCw21GS7ENcmmD.qz55pDqO4",mdrd: "Y5o.smSwL5q1Tej3Y2RbDQVsz4L_INLalVkHE4ovkcI-1744354498-1.2.1.1-aa5Aozf1f37riFpQ_i63gkdu3M_6_vZdUFzxbte214uAK0KlVy0EjulWnQDHwpr36vbxFaTqRcHAXt8UL87EbCDWZIop9HDzvuBLAun0l57tunuahSCrjlm4aBjMeBPi0N0qmBVzm1si7ex9ooHAPbW.Qt26MD4ED9hwDfKc85W1_jRbj3qqJcfG9sBvIsJpntXc6pB5q1Vt3xev2JjXeB8ZL8OUYF70uMMDnWZpBXeBT2wZUvFKWm2Na5aZ4Jg6NDFwgMrGF4fYTyHMWoCnvYKC29ful1GYbaH_O8SoJWaET9rIVH33IhM4GzGZzlx0TKp7ywMWpGPkfnHE_YWfOJY8Ykl1CvCuHZFciz_kT5BBLB8NfZaOMQ5s45wykXIu6_mc.hmS25cjaK9nzelkSEsmGlgFEn8S7HATiSqtkJMX3YLbPtXxEFL1lMPebjDqitcMV40mnVSRidrI1a7VMcBn.SijEVNdL4BPv7LhOEN7vAOwVejluL4P2piovyfjToQup87FXMcrm5ijWDOVkGXXaAZ5Drib2DgJJ0b_wH1.jXXESsHuYRL.nZZ5hd0SS8DS40xqLe4EIcBejFgxp_KohQEDA8xAlp_oNxQMeiEDeFszq_X4LaXCAZBdHkdP3INn1pHe63DRTZoSoTkkbraTKbDkLqfYClwtCHtBFCz8Hb2Acf1eLBBR_tch6XxFk9YLoUV.bc0lFyMxVH5CCTi_ntLfmLq7vycfZSfkNccRUfFeTE7fTgZGWTeePe3KB6yrehjufvFY4FJkf73OXinpYvtOKqHcb0t37cRU8Yijr.1Gxx99kO43aQLRG4x0W_bXpGx4zy1tfTMu.Vtzpka4ASz.pYN5fDdwlsnO7ITnO6D0ImlVq6rK.avLylvAPHe0CkiaKTs6DVaAC3islHJ37Beriyh_nc65rxISfs5bZcx_S1hKZeatkQOBqfnvcC.F0FCEOPpfsCYicXS2n0M1ezDIyoLqmPOaJ5tnDgOCcA564VCThMND03kZclCk8F5P1Q5jGYQIt4rCvzzLIZ9f6_.DFwQG.Xbf.UGVmXNof8JBx5XuebWZxXb9lpL86bIq4Q3DovXtO3Yr9aVgIHYuUvawlesdWBbN5M9nPjEWf9ZB2nJ9oqd8hJUZJmTYxU6vHjRzWAanqOANQEbAdoWRuAeStFt9jBFufytylovubyCf6KVti4h6eNX1HQlBvv1B1W9.BO6QsMPJAPiAVDyuuaiqx6u50t1BWmZi7yX.wC.DJCBy78HHEPumR9aEuhU6bGxV0Jy_4.LihDWhfBArnCFL8GAJgdJNirfqLlfzooBC7cgOVJq7V5HqiLKbWI1RxZIjwDw1mb96w5NkWYH7JlIFwUwOWUznV8ZYLI9ZFoi0A2Bf2ajrjC9k6rjA7hadMrSIOdCrNrY0TqqJ6j4ne9ECKa2il_1dg4m7nSJKzbVTnlZL0_B.Rmw6sCOHRiiXibG9Al0npjXTaAK_eEOyaBKTAuTsqzkuGnJs1Jwsdm6G3LJlcXoT8NoqOuLsAPF1PAjkyU7iM9jQ7fmFiCyqMGfG1i9dzRkg8QCdsqN6kHCgSAqUnizJ_C2fRcwuwE20bYODdfBnbiAUXH4mmlfzp0MScbljtn9xiJb31EYJBOgcHA.zHbd1Ew8XaeiRWn4UH5qvlG1uOam8wB15ikzGCpAhpAAgtCsucCqXXx7cozuUWa4CYIuW.s48kzBLDCSKS1QkWecvEMqC.FPB8xCk0wZSTeg1SIlHoczbpEH464Xweh7w3Cp_prY8YtMqpGeo62KwsAkLx9RQkUJZZt9llh9oZL9XYEU7oOclKAY6b8GlBSHZvNL06GdCN_UR1lCvIlJ5mgSfwS5Aow929XNvVsbYMkI1je3Jrz_wJjIfXFQqpyZ3KJ0RA2c9eIdV6Arw2T6drPdsQu6kGBaSnvij6X3N7sN8JleMhwvPQ1wyDzI.M0mD4mAGKrE5Vgd8.HVHjJUWw2K0UOUVEgVRr4h2YRWxaY35FLj4dwgJJfGA6gNkkJT5PK2CHPAKNnshTr3ReQaFldufvtx_EOin6A"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92e8935db920a090';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=rf%3A938991&__cf_chl_rt_tk=RV.FupIbDc3dxVDPExkZmA9ZNh7PGtQYCOMRtWt3iMs-1744354498-1.0.1.1-5fDUAJ1UaFsBz_5BykThl90lW1byKlZIOUmByLLkiNI" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>