Let's denote the left side of inequality that should be proven as S. Let x14x1 be the smallest product among all pairwise products of adjacent numbers xkxk+1, k=1,14 (cyclically adjacent numbers: x15=x1). Then we can bound from above all the summands containing this pair like this:
x12x13x14x1≤x12x13x6x7,x13x14x1x2≤x13x7x8x2,x14x1x2x3≤x8x9x2x3,
But then
S=x1x2x3x4+x2x3x4x5+⋯+x11x12x13x14+x12x13x14x1+x13x14x1x2+x14x1x2x3≤x1x2x3x4+x2x3x4x5+⋯+x11x12x13x14+x12x13x6x7+x13x7x8x2+x8x9x2x3=P.
In every group of 4 summands from P every multiplier has different remainder modulo 4, that's why
(x1+x5+x9+x13)(x2+x6+x10+x14)(x3+x7+x11)(x4+x8+x12)≤≤441(k=1∑14xk)4=441,
what was to be demonstrated.