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: "mathoverflow.net",cType: 'managed',cRay: '9299ef992dbe5ff2',cH: '9BifNaUGUk.sH7QaDVV0fwO_cPmKRCfYyXzjQ4sKBr4-1743529900-1.2.1.1-c050quy8zMz6UXZ4SY76.rKf3EJUy1us3MVNVVxrGf5pcrUMmOrEUFAc3h3rAKXy',cUPMDTk: "\/a\/342278?__cf_chl_tk=H_kwAQaRfTJgwEwY56HpXfxFK2cK.ffId75EN.1HG0Q-1743529900-1.0.1.1-W6WBz4whmdXtD2WBYPqjjOf21an3gQHzpnDCFNqS2Fs",cFPWv: 'b',cITimeS: '1743529900',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/a\/342278?__cf_chl_f_tk=H_kwAQaRfTJgwEwY56HpXfxFK2cK.ffId75EN.1HG0Q-1743529900-1.0.1.1-W6WBz4whmdXtD2WBYPqjjOf21an3gQHzpnDCFNqS2Fs",md: "ZYsyY.Po.oGIPWl9KD33laVrtcQdM_s86RdKOln9SpI-1743529900-1.2.1.1-Cbtb73qALFRBuUCU4X_HyUE6DAEjsbk14BUajt52g3Vo5MrsAImoDAZcNBEBoECMo85vM3dRRy6G8owOF1tVL_4AE1v2HPrQM45NQPZYQiCCqX8ara1P_zr2Bm5h5Zs30D_dgopB3MI_v4wgeMaK9Wr31JOr4mgm3V3y8DnkxcYUe7ZzZw.8QKhMPmxAk.lsw04zUhppa2ufV_E78xid7khwA.8iaox61XXpnzWutjJOt6EVeQfdmFxIVYL2RQr28VEokLTbNLCFdNjt6HuWzgbQMpTmKHaQ6xtvvysIFQV8VFbS3T.id2cjUObFJ2.oGskSJOZHCZswC5WeWFnmWI.fyX2BMPGnOWCR.KJuyh3OnTO.jsI84uwXtBnkjRhFS6VeyJRvwRCfLZ1MlNNHc8RVjTm_uWLaT.i0bkVFV6eFkeFb6ruP7g1bPmxdmyMtYc54XvGE8nvXjDEt0FMB89imI71V3iN6EwuhZ4usEBg6I5ybfWGe7UCotGkccDpZkoqNZG8leBeHmFDFCm9F_n2CfptWHyNyRxOnbLhBwnHvkHeHOpqpEO7ocrA5SHRDLT0EP7KxxqBZRmHL5pd8rVY5iWpX5WORpi8KwnmVUz4QLECHmsq7q1Hp84w9ssxgbu7f8dnF_Ot.rcvjh3ZSNj4ugOT79PpMLs3NWGuzEnco4gjL_W0JantikgTDBtHVP360hk0Be7KUS36tUd_sma9P2WHp2Qh6nOkIEZMNLK9VZW5nqEZiVeQQ0I8UJII_OE7cM2kixKCeP5CFoDR17jxY7ztv9sNblKkWMoNaDsDcm3UNVvbHenu_pzTKzgvZ.FAQZzb88jISxlX7IsWnY6sitYwKrX1A3OKgRxb7ebMK0R8xn0Fbfx.nEWIlxE.zhgT1sUB3.XMoenk_vmVOaZK71X3hlvIn2F26Ke9sXJiHGV4YthUgC3aklHLW2GcdkHhK2tBwOKGfYLfONj1ESJ0pRWjuQc.8OMwiXGmIlabjTPl61FXx423NIhOfurdok.SG4RnGrupn2Jr1sgh7RmY92mgPanyXBBELRdfCohHzyUyqw_o2rT3aDt0JhF_r0671pv9F6e6OYSa.pu6ZSPN00olfTI3y07kLorjkkiZBwySwNo4MFVehwNhPP2k9tZFM.kWCs6Cze5bW.n_rXgacFhM3al4i2tlGOQJMFEmkUip6.CeiT8J6z3jHDo26.9oizgcuE2J2DPTw5EDExg",mdrd: ".vXUvr4o1GjIU5ZT804Xwi6C1oUK5eNNJLeAUIjx0jE-1743529900-1.2.1.1-oM6qJzowjAepXf77vCzsw0O0BaL.tlKYBZlANxJOTV_bq.KrWEUa9a0HtGfDPOs8_FtvHVK1h24EwkkPb5dHqMqsUybh4BnkYd1492Q9lxqtnwSEjrrW4h0kK9RMbFz1g6ytWPEWbjuvv5UC33XTQvkR3pQdMhwVsxbKLbNkvoIK._A.ml84RjRwHw3WtIHAssrBYlVauvXfUgZ3_pqc9eWzKjfKGpkzFuv6wvLOtYlhbhU2KP07PBpK85mYdwxNNL_t8ThCDs.WiPnk6dq12rrEbMhn5x6UM3ofGrvq_bNKsmLdyDuTVGJrpjVi59.WvaqQi25fPqEUFzN_AyXfIHmjKay52qa9Mnei2AFXyIVE1plOQ10PUvDCPD1fxL2WTKwPTberi2SloCepNl03v4PgsMSmeOzfLeCyc2TcgbhrH8vicwnQpEtWU1WjfbsvXYS0MEQRFskROg6aNt_rC8XCuCJs97bHU5qH8TJeBbcu587nXQh44mMN5jzS3rUmCldVuTb65qqA97wwjs_ThghvbU80HLbSijpgEcxs9p4cbTLNqowI_SsPMK7OqHaqbq6p_QZhcG_ziBRbU.EMp3C4JvkLBegfoLocJlVLXQjpG.QyQ.FHJZ66Z95DFT_DS.6W2Vy7c7KEZoHHnwFjL3I_itYO2tx4YS07gumOIdb2.BIoFJnLOSESSe0XhWWTQkC31td1BbruUvV_QRSTCraXT7Qv6tB0.bYKyoRUBGP_03rZo_cxH5xXG8ERbNSYqVbQasmjszRZfQJ0BWYfmp4u5C85z7Nm0wUz01CV6Mmlfih8ZV0jjkixxYwasVrn5xs.hpZKB0eC5Okr_3dKEmP11PX7_b0ubMhBxSi5YjtVZJ5RZF9PnIIApTlUYJ51eyNARpxGEuOqAiSHqjP0onsxIb1gNyFkMoCaguZFQJNYFSNuXyKcaSr8Bil4HLA7DMvGY96.sbw7aEg9CLG_KMS7yvP7TS4UgKjtPBpj37NNCkScgL4lecjgGwVSY4mV78JE.bOpc0Ph5S9pVU49heRMCNZ0Soc16Zq36X27aOeCjPkPo94nVD3N6rEfn51Sh7gAtZb9n8B8HDREpjgV5H0yLWqwsIel1n4RCvUVH1urKsf1ovC_Hm1pdA3lciU93A1d40pA6pzerstuhvIPuXKd30bbrEbKQKfwcFkJHeyVZxQuIi2jJ_wN.lHaLRBRRsRXEnNlGWKIDTGBYjVzCylMEgRwq3TNv3YhLzn87ioLkEreu70o.oh0uPLfl5L5JUj8Q_c_Vsn5ocgd9VDaS08bpLhOPD9R69ge5AwCcRXDrWFMAw7BLdhUYEGyzMDRfGIiyLRgmIR5PuIhPdy9oo8jycWGCj6miJoh8uD65JvCYSZLNCD1t73qloXQmwTHPEbi7pCuw1xRzacOWoqh668HAP1eYYD7ojoAbX88eyTZjLSf9nnZdApkoQNHTMpyD6Xnu12G4jCFaYkZ_zkqC3PkdFj9pWnMfN39oT2ik19HMLmJLnbEm1yP.O.5i6uO9d7GcAoe4KTSFkgquPLXWlE_RD0d3nlakz7ZpVRANZkwX73ZluKb.c_WNOCiRRS.R1QL0VSY6K4EHMSvbXWZDkVwd_1CSVPx6CBbXI1hvs_h269YsYbXAUOKY3w5P3VWztJrNp62goX_CPGQZ8y3vb_IysiNXuCCSJsC3ZjiytKW2GB65yZ5irOh_GsFFDZqXXjHJiFJUk0ZYm_9Ecv2xElWihwk4bswgizuBI3wMnNnNQPtclPPJYESeaSL3llIQKLYDkD4Z7zIZN_SKqP3ewnmE6XKIkAVeRBuwAhI7zYBVbZY8Z_JUU07swxPr7wr_On3tseKXVLkLR16PYn7GezfO5v3UdLNTes3IlDllQvc0XZOVzPMhlbwhjxVZdCEOyIjtreNAy_hY_zD975KlOPDBcMYhdoVErilmMxBtlPPZdvbCr2JtpaF.hz2ah3oB5G7RMAa8FzU58XJJ57VksM7hptek0JbLJe1phfXzZnIBO7VkS5YyOVa4EPKcDiqwAGid7NMtv.szHbLbwvNjw"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9299ef992dbe5ff2';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, "\/a\/342278?__cf_chl_rt_tk=H_kwAQaRfTJgwEwY56HpXfxFK2cK.ffId75EN.1HG0Q-1743529900-1.0.1.1-W6WBz4whmdXtD2WBYPqjjOf21an3gQHzpnDCFNqS2Fs" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>