Question: Prove these recreational equations

I discovered the MRB constant (CMRB) while using Maple. Since then, I've found many formulas related to it, including its integrated analog the MKB constant (MKB). They're both found in Google scholar!

However, I am stuck on proving the following.