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: '92316d312eb65cb5',cH: 'JlWkcPogO4S3ntlRjkYcDnujlXFG86jOP0.mREPrQlM-1742434040-1.2.1.1-XhdmQAH9EMy0HGtULij5169151dQFIg4d8BfT503r72PKNrtej2MDlZdFjI90pnQ',cUPMDTk: "\/a\/44885\/381?__cf_chl_tk=v.u4sVLNnfDZohfk2b8njiJGvCzT9u7RykYk_tFaKlw-1742434040-1.0.1.1-IfqGUZR_9CifzDG795SLncvVQQ51Ikj0Qubgx0WzVIY",cFPWv: 'b',cITimeS: '1742434040',cTTimeMs: '1000',cMTimeMs: '390000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/a\/44885\/381?__cf_chl_f_tk=v.u4sVLNnfDZohfk2b8njiJGvCzT9u7RykYk_tFaKlw-1742434040-1.0.1.1-IfqGUZR_9CifzDG795SLncvVQQ51Ikj0Qubgx0WzVIY",md: "rCzHib5_AcQfZeT7mLan7tUC63AktJvnnrU3Vcdbkzs-1742434040-1.2.1.1-Q3Z4b_X5qQX.VXMz1MGSd2oPn1nInRcq51u7l4toMpBk6.dlq8_B.PR45Tqf3n21t.BKc4P5QWHxa55uixTHVuXHt5NUlsEp8O0GA4yPCXQcOP93DaFdfPwtrbTZDWKOkRa.qmHahBbx.qnTMC.fKgEnh_XN39ku2cqnC.eIFpBY5k9kMuq6kcgPQGWJvO.Z8BSP2kb7MgiEu_EplQ6jMhhZVeg1FYU3JfDH.xgZFdM6__zcIGTZycpCAJgm1u0nnyLnAF7.uLLsODtmcHz3YgvkKSslhzikMYyQJhMPK6fmulxR74Y_K7r0.hIYQK7SAmfxP85UCYS3k226LaH6ISkh0x5dr_QqixLlPe3mma3Am_Gvf80s7AC0S7Gg7tcYl_muIu.6YmnHfhq6C7zWvYmfCEcQxaDcqzzxnVhk.wccRY1_4nODwEJbeqhtzXW_hvR5mQpsVRPCtR9xbLHcQl1EIy1ypGsbwtnTveMLZVihJ7mfu0p.vZmgt3DGm3qAemTuhOOecjsIsZNjjh0HO7kselBSSy7bfQzhF8X2LSR1kjyn4TwVPgXXujzVY1TCCawajQ_WlD0BETaIppg1IMT2zl_KWnHsQvj3B54485P1Z8lQGf3RLxoYIkMaNtqZN5X5dCwWh.LSGleMWNJ5lLVNdRKU0W6VdspSgMiwRJz6jsC9kwTcPYIGOtUvsiL12SfBLYxg.9Wd7uRdcd75iGAkMEkxch5pKEvJJ9aSiEkU5pNhCAuTRV965QRq1UUHrhJvb4sFC45M4g4SwEIj5e3H3qEOMCumsNS9MkVnoY0IQA.6KshIOCShVFkXDI7a..YwP2Hkl.JJ1QOfWuA8jdignC4P5KNLmjyIPn_TghXpf9JXp9GUNa0sAP7jgWgn0QAuDIu5P7pb0IldHO8ZBi0xTxGFjqEx9e2evK9BUBu2DjJCemSeRbhgg43cv9j5aGwoMyNUfpy6ktAqiKV.fWlfw.RHCipd0WR6fkdrSGsedBhA9m8HIZRqPFl8_VEtEnBDpglwEd93aUzQDRQG4e42zz8zf..nxVNmXt6AS2kcz4zk1fog_.DAbuB8Mpma9f9j_qMhcOqgAeL1Dfua0MJKZzAavlyYMKPuBdx3gCtRWTi4b1ydBJFYmr45hDgtK3g0b8sDj2awsZ_d27PkxRhYEKagaehUWOHunHX8VHmta8lIGn57OeqLf.EjR5oMqLdh1F5VaixnG6yt.CdNcg",mdrd: "wj1jL4qlA3dVIB__ygS9J_OBxrjpGMjnHvSMhwPf9Kg-1742434040-1.2.1.1-l6tviPOPaaAJYvRIa97qDAOm25iUkM1KP86HDCg3kiFYQH1OKUCBTzoGpDuOPcHm.kxjC9vNlqGQJ2RSjgWQuGLsieT3dhfbC3adp8UIXmXEDXdgahbYvY9wm.CRa_WCaD8Ncqn6KitFxZAvEbQVrIMrsuHV0VfjTeSiHQub0uRY2thwL8z3YsFI54QtnxqYVOlSATwCr_XUVrPGwxjKXuEf7AdxmtSHaXUf0mfW.Q1II604an.7Wt5PkyE1ZBVig96x.zRByLuFcsarQPHABLS1kuXkNv6E5W9ultGYgTm91TF802Igy45EWqYxxoycIbASuwdttt.EYd7oZ2Lofsl14_kiN_bw999z6boOIoHczFongWKfbvU0DgMItm2vpCASq43Jk6lArW_yHRucgu3S3yQqCpTpHHxBNAuwHPVHLgVvLo8UYzkzG9lxY3CjwZquDqCPy5.XxbD5F7P3tAccAbP5F0v5tUzuXAHNt5EKpFwoHIsSVm6tv..3gxJ.Id9lKNlbqT.51BC7jJTL_jxgMQKdvofIzEZ9dFlEqmeyNiZgm_5ulFyUkmzFVLnctbl.YHYI8aOkOC8EqVjArkvHDHj6PojzfVL1Wz2aApe7mC_T49hTSZ06VH8B3noPhGz4iAsAFBqRN2MUxEr5z3GG7O6eAyYJF_Ab9bWS.wIudufMiQbl5sPrU6Xuw0EvCxpDQLBhu_uWOfZpBxlnykppzS_tYZzDJtPd.4jrcYSi6.lZ2xf1WMBhvHn7jxBWlwcnZbEMZcwPFeVmAnyQw3IxIvk7WSoR6XSwzMwtCOzrub0v8bLhcA3310gvwwaWJQsC6Xmv9nnZsRGWa0QSRHrgMxjqpEu5uI_Hp4iuYb1xlveC2utd_Pyn0IUpG0S6udoWqF3anx64yvGT2By2R150rVBci0OF1btQI9VeWUaZBESwNIrUk4jS3ypXO_13Nv2_JXoDgmxZDC4.WbzpzCPfmhDNGQfEAV3jPlA0M_.S7dGgmQUdHlcxlkyXqAqL8TeR5cMFN3nfVR20DoJyg4cCtIaOtGw0e95SV2tfAj8W5eJGpZG19NXpxZA.lTmTU62jABs12ZpwJsmr_xkWYRerGm3SOGtMISGnFcaiX5FCqoGEorPtNgJELYkQ9IEcaFWOwhXVQGEJPg5ndxWCRV4lHnaGkXbBZRKboBbLun34ErtFBG8EZcrhxByRMOMvBzCCnZQslA5YEDiI_qGDMFWGmst8mYIeHbmerLmz4GJAKep7bSiVT1jdIl7iM5nArmfdcgYuDEDj1GFtICAOsbNhAdGu19TNAmrKU9oHQSGjr_MNr5T08mE6WGfYlxAiN2RWZvisPeqggkQ1got4wzBn8HJNzh97_8CRCGPTWjuRzxmPCd2QCFwdyzDAQsDVNWF5TksW6ojBsEkTOxCp88sDjPXdjCbQ6l6aNkF_dKvwwyBSk79vy7O6oObusJQDll6TnAOhFzWRzr.9N2I3Wj3Ar6hTcIiUsq6UDGtaJL7Lfn16ZCPTJND.ca0S_UeYA4jkviH4fvV35Gjwkbo45cEw7DI4M.bpBhctIWjeUDJt3OUfqPosEsPzZ7bThrspNX3.tTdICs4i793tuEzOzikPJLymte4XfM52ebKAkSgD2OpOWwTsmCAyNj4yaJdAnkiWVWyOFPPWDEP5lJ_o9TgjS3X3OMAZj.TfO31xbZduR5ohpj6aIsShYKpf09_lY362awzyK65xy5JJXNlQ9m3N7fZashpwZJSewUTCT8sVQEle8_FpaHZcov6d654xc9wKIG8Hj.bP7Akcq5MiRCx3O6ebhRYxHgpembro6.xDtKzACpwvHiwxQaSqka8OerPX3mqIhrdWEZwH0EBlkds5K8x_fKJzDKu_iKHwZa5ZdZKFmudAKgPLyIMQSQupcdGsRdv8fNlaaWEh0wdkDoKxTIywwYd7_VW1c.4yCLtS1zdHbe2mFgiGLMyK9naPyWxNZZTpm_ikHdHaZrBzWvKs8CBe_LB3be5t4_k43H17E40bnMOWjkyJOJ7RNh4f"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=92316d312eb65cb5';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\/44885\/381?__cf_chl_rt_tk=v.u4sVLNnfDZohfk2b8njiJGvCzT9u7RykYk_tFaKlw-1742434040-1.0.1.1-IfqGUZR_9CifzDG795SLncvVQQ51Ikj0Qubgx0WzVIY" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>