I&#x27;d love some background on the problem - I&#x27;m a big fan of well-explained proofs like this, but I&#x27;m not a mathematician by trade and I like hearing a little bit about why anyone is thinking about this stuff in the first place.