Maximum-minimums Identity（最大値最小値の恒等式）の証明と包除原理との関係、そしてgolangでの実装

#数学 ・#競技プログラミング の世界で出てくる#Min, #Max関数。実は、この2つの間には等式 #Maximum-minimums Identity（最大値最小値の恒等式）が成り立ちます。今回はその証明と、この恒等式と非常によく似た構造を持つ#包除原理 との間の関係性を明らかにします。また、中学・高校数学で出てきたあの有名等式との関係も・・・（動画参照）。最後に、このMaximum-minimums Identityを標準ライブラリにmin,max関数が無いことで有名なgolangで実装して、その効率の悪さを体感してみます。

使用しているBGM:
00:00-00:07
Ordinary Day by MondayHopes (https://pixabay.com/music/traditional-jazz-ordinary-day-8025/)

00:08- 43:00
Night jazz by OYStudio (https://pixabay.com/music/modern-jazz-night-jazz-126163/)

43:01-最後まで
By the Fireplace by TrackTribe(https://www.youtube.com/channel/UCALNf7YM2pEGJvIHf1zxftA)