ArcCot[2Sqrt[2]]/(Pi*Log[Zeta[3]])-Log[1+Exp[-Pi]]^2/Pi<(131E^2+422E-1151)/(222E^2+279E-757)