{Abs[b(c-b)(d-c)] > Abs[4(b+c+d)^3/27], 0<b, 0<c, 0<d, d<(b+c+d)/3}