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: '918d0da6cfc3ab5b',cH: 'fJo1lYVc8ezcQp25SXivNrMfzO.qv5u2zV1VmsYU8vg-1740710462-1.2.1.1-Es4kTr1xt7IPRZU1QawF1Vb5_ocqkmO16LDSHXIzQm0Q.mmUxWqZeEAD8zHOYPCa',cUPMDTk: "\/q\/410013\/?__cf_chl_tk=LqEoquDbqHrd_h072av_ov1BzJYa0Fu4syaLYUW1t1c-1740710462-1.0.1.1-u1gaGqmru2On4EPcUF5flIHOwLwf8ofQzmTz3wztiLs",cFPWv: 'b',cITimeS: '1740710462',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/q\/410013\/?__cf_chl_f_tk=LqEoquDbqHrd_h072av_ov1BzJYa0Fu4syaLYUW1t1c-1740710462-1.0.1.1-u1gaGqmru2On4EPcUF5flIHOwLwf8ofQzmTz3wztiLs",md: "FoQXSI.kMk1O80dZNq5qjBGqbixANaIHc8asD_HaW7Q-1740710462-1.2.1.1-9NX0KUJ9nNOqPdeIkKrmkEIVYMDluP6VjRBdh8l9PwaafcTtoi.cVp5FivI1vzFueqDeDl0gB9zmMDBTa.A0_KCm0Xl1GgrcuM9w9vL.O_u4a_Vq_.OMqDTQlYyk627LVHor7HQ8YbHc4z9nsBpm9b.BUKKKtvJbave4kVlY6QRGi_mAfVuW2li1ypsveRSR7z08P9XTx.5p6FdvfMbfZNhhooW3aBvs51MRnaY8g5GX6SzpiAUdLX69db1hC5Q_TPYVvXAuinbmnmvf6Myry4KPMsEo3hb5idGNcNucDioI5b4ecIAWCkRgQByr4wym63lmux5A0RdS2OLZMBC0JcXmzXXN7_UKtcHH7Qz2U8KDqGQo1MRiXhkWkyIn3RSzgufuZmHmz0YOucs1Kk3E09NlBOPr6Lvt3S0iJJxp_F3P4K_n74iQ_bgVQ3bjOE.2L0WkK.FvaIUO8kM4JyN2VMjvZ8X84qHRi.ysU1oeJfxCgTiZXWR9z6BEkmhnW6t20P9RdqG_yx4C7qFe59ymsSeHQcc7owiq4liM1VMfgLi7UD.M_25F4M_9pPWbIPxYEAkFHHB7kKm0aEmzKsXqtoAgZRNduQuPP8Y67M07RAQxokyLatAp2M8XrOucNybxxkFfuGfi1opmhqjk50Kx_sUXhkD3d9n3uv3OiuCdkgn1Ofn12S6vLj0Kr9N9.z2x2sOpdsjTW5e_EUSVpXPZaaNoJqJp3m9Q2AxfWJV2ZbNV5Uy8zVQKAx9kLj8f52oA8cLtnYfvDtEwxXIc_32.iMZURfxs4R1Wa5rk0DvDtXGESDQhsP1YuC2weVBh8n8KH.J18FTR5gtvJcwRj2jGcEu1CW_1dADrs5Do5DOvwA0YpVOzbqmUzYdq3CrvwiygHA.4ZhHdwqPR0QoC0ExaX.ITTjMSTTpIrmbUQ2AXUAVv5ONoUwd8APiTkLHTIZkTAjYQazv1EeNcCLVML.fSv9OAAd8Z2bm4q0ChDpHiM43QnsppKSKG5GTRE900NKvRl8au3c08CqSb7RvesIAe6rZNv6VyLhKOO09ZKwW3je8NWu8Kp1rhlZU4UMWPic7FUP9dAq9rAiZ1w6N90067BpzT1njJ1GE_sgICr3mqJD1Z5jLh5Jo91o_BGEk.rv8pObTtWns3pnDAjWTKfdGUUQ9Lv1bwRtjRhAK_0XwB9_zGYlj0z1aov.0iiKKmKLz_dD98qMzUka42TtlWlb5En7cYezPl4zk2mhCOe8tdXG6K8m_GtpDp3J1KpilNPnlO7nVlYMjSJVB8OCRcJGcPkDlfnEY9B2HA02FonfcQW9PawCghyGtPkG2s1QH4Kjh9fFlYYxJ3ITkrj1.iD2m6MdokWG6QyBb2rntvxTrVJIIEidyrQGjP29gFxdBH2o85MIKwShb.JDbbYzN3YxgZE_99Ad_zEOnTaTQ5xuumE1M5dfUHfTmb3fbTxKoGvlDlceZMZ1u.PviW.WE1m83_1bX4Wqi96EEb5Ao.0x52RQTi5FPIo3WDI1bfmsJroa6L1x5EmOTFl7h57Af7sOadYY9OUIUAV0Q55aDUrjlBatPrv3Q_BAOMhWPmK.ujytgpiR5kQQs_tG_HTqr8ufujZGEe5oqBf9PtuD1ee6nnLVZlmcvkgkXDkYrDQJwt3Pjxn9mw23EPKxTcS7aaFsB_tmnsI8Q8KKUxdzTRq9Sg_Jpid8N49BDXp.EF0wSCyinbuzwNh.j6jG1LuPkB8qrNsMy7zYLnFXVtzwZGvTK6IZdIPWEQ2CF6wzMaG40.BXV1jbj.cQBpoJO_S6Dh1J50u8reL4PfXn6Gi3x3_y7yMRIjtuFsL7iQ43w7bU8asoRlXZY_3ODnvGPBOjqOEp9s5CWVvMVWg.eprxBgYfsF2rJKUPo9umfE5U5AloKUmYKqYYWXRRBa.2SfxWD62APMf5wBW.Ot_hDonyR7KjTFGn3jHDh7RemnrYkcLOFvcZISZkFMxvnthgMoOt3yxHLQgxhxWvJFt7xjpOzkCDfEycmK8WKgYXj1uIKAox1zDw5cu9P_CMEvG3XTEW8mYrfdfbpj7TBISxaLNbJzEj7QRnEweS3S9WARAK9cCTebtYiB8QBS25C6f2t75FUS5INbN2svfYtJPA1sNVlnRA3ixhe0AINymmJq76sWbDXvW9OU48NSwNExMUT9pbN2h2CKVM0Y_59N9G3krD2hmHp5tOuvfyhOUkQog2IcOf_13.H91Wxjvsv19T6Rj9wD7FORTWss_U84rAbykHkhgNepCyP5UBIkGaWHyCbv49KBPuNenNdvZjAs7_l.lHuhsRQfl8lAY0IrGr_4QLqJugDHv74D58vIkgshGx0WM8zVDxbX8X5TqQaZa9y5dwOgWmdnQtX8D9dp5wNqhOFX.wJTnuSHgrR.tdZB5FnX5IP79puepqt2OlCZuAPd30uFyDHivrK34J49Ft2CPfk_jNgXimHWB..qTZOoYM8MYM2_nrR3TnXH4D57WgeWbBOY5btxRg",mdrd: "G6DrjxxF8uwqqYLKnRaYC.vN_JPb3iCmo4BnrByhA.I-1740710462-1.2.1.1-kHu4hsw2RhOx7DVBHCODpi4d6QGD6bGc.ympwEbE.V_kCo8OUB_NPhnUk.e2WoFlYw9xIZL_qWwUeeRh0ky_JOPxh3m2kjVf5j2lOBU2dfzhM8lJlhhZucj2D4mG3YlqkwU4kKJ1HwBMvtn5H3ldj_JRLZ7wm4wNIdxov_OZvJzb4bAh4N.MCGfxbQKW08sEGJSXMG4oBcbh8.paD0v20xyvR6qmzz155OkDjE8ApFDFmmKbf.429zX_IxAnxfKXBWtCdb8S0x8EPdIgkEtDdsCIVbMotMs490REJMZq81FvM10HknvG5IBEWkqO4Ytyhnet.vwEYjnykygX1A.Z5YITjt.O4zvfMffRpcjVRnMJbOFbQmBoqdJ7OHPDluZIWMT3IexjxSmL5_h7OSfNcrNgydI1nXuaXpZ599Rp1r6DhyVmlcSmUiExbOO1EbQmEkC7cjDX6v1jTGEm52uRjj22_q4.zLKMO8jjCXX7Vc0lqs31AyLjtoj7cKpTwh77Omnr1cKmukfmTvO47PIw0mz3ZYFmlGUY6XFr7DWD6mYDQPbaLC5Raqg0owWcAUueCc6NoWSmsk1EtVCwiKjFF7v9ZiYEhh8fuSJHLBxTAUWP09XUjPaVRqK9SbzsA495i1NGRuHgk_TfobCbPcz9wbAS6Gcpg3faLWrqbTXPLROEwt5yoNqyo.mmII_KOQ3u9w4pKAFy_xNMr_WfMMXLd7ohkCaYce2fUVIqFdFeSQz4bDOBP_VpHo98Mj4klXZL2xs2Ttt6oebOFyjpWjemSOtAacjoc_paIhuviUB6dMdQJvO_HvK0rJHOoeZG96XgauWkMgxNNKMJrxJYOdT_TiK2O4XW1FgnBkNBwnREPAcJEgloRWDYTvoFDuRfebL9cmer76mduKSXfn41iawPIACrq3tAhIxwNd6eRiO5MYTiscygXe3SIdlF03YLMx4zp3To_4CMJjE2s5FJHeAyVStAgngvlH5ffNztmCm5ilAYWku6AUDTI.ATh4Z8wJYGYeG127Ac_x9eLn5dyn9kA3SR8THaKa0mrOPTVz_OheWK.0760NWpl7rNexzsocGLZMWxOUrkKQbq3BddszZLBD11CBblm.sD73qkwxe5v6b4vNtj5kfZ02CbMm9oEOO4.VyM9iWoSnnJfdHv.l20FVpV8_A3w9G6F9EZ1pjLehcoxi66SKoH3_oFyFpw4pFkvQQwKHNeh_Haaq7jvE4jjLzIs7ZMibeeaf5Y5Xizmyz7OOni.r3NNI4y5IzENLh1rM4HjrVbx2OK5BjvsBvldFmW0wY_Rz6E3T9D4py526JLK5hfzlnFIjjubh4u5xRXaDqiAVde0ERe3RSh8842X.eRplAUuhjCnMcJLFvASmcXFHPwxhJeBd88KWOYFeHCqTwhMlP2lR5BVBdFvNfngkG1s5et41JvoMrSvIeXCfS_dhSHn8kYFyvsYL.gq3qBZ3whpEjQiKxijMY8aXTdNmrrqZPSTNyekxmhSZERQhUyZEwoUilHrhev0ASE2CvMT4oGvumCZEYPKqsk1jueEPKuBGRqE388gU_B5cubTCOSpwoZ21d.UGpZS.MAwmTAss7jWIPnor7poKOj6pnZY9n290xUnlw5AQT1bHA2uBFQDE7QEswBAPoocV5CVhPY74rxT3_a1d3mirFJQ85VRgCqwV.8HOlt6YgmXubfQKRpu70MxyFFWHUmjOV06Cv6htTncQUKL2kOYKYc27WZ7.MaUp_dOzXoR.2kU5tn8oj5HxyJjryXA4jf5Os7171G2nUHV6.NuZGNqi0obigt0mL2x.XJz.4cONvs673CpLmoTMLx6aF7Knb7O.ZPHi28QygZM8o19DIqBLXfUAMMbM19mI70zNuFFo3OzKYuPqXBgE9ydnlMtlEXskq0Sg3dLu7ECgJ.FOBeLM81l6gUiMwE9UIaizhOBTmkY_pnxcm2kEb8YncJkNn5F.qie1UW"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=918d0da6cfc3ab5b';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\/410013\/?__cf_chl_rt_tk=LqEoquDbqHrd_h072av_ov1BzJYa0Fu4syaLYUW1t1c-1740710462-1.0.1.1-u1gaGqmru2On4EPcUF5flIHOwLwf8ofQzmTz3wztiLs" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>