Нам надо убедиться, что 1*2*3*...*2011 > 2*3*4*...*2012
Составим разность 1*2*3*...*2011 - 2*3*4*...*2012 Эта разность < 0 (уменьшаемой меньше вычитаемого)
1*2*3*...*2011 - 2 1*2*3*...*2011 - 2*3*4*...*2012 < 0, ⇒
⇒ 1*2*3*...*2011 - 2*3*4*...*2012 < 0 , 1*2*3*...*2011 / 2*3*4*...*2012< 1