phimuemue

I came across the following identity recently: . This can be proved in various ways. Here, I will describe a “combinatorial proof”.