面白スレより
a>0、b>0、c>0、d>0、abcd=1のとき、1/a + 1/b + 1/c + 1/d + 9/(a+b+c+d) ≧ 25/4 を証明せよ