HK

I tried consulting GPT4 on a question I found on MathOverflow | Heykuki News