追加。
右辺が >>4 >>70 >>86 >>88 >> 90 の右辺のいずれかと大小関係があるのかはチェックしきれていないが

(a^2+2)(b^2+2)(c^2+2) ≧ (1/2)*(a+√2)(b+√2)(c+√2)(abc+2√2) ≧ 16abc√2