关于n=20时循环型平方根和猜想不等式反例的技术求助及变量求解问询

跟各位大佬请教个问题：先给大家铺垫下背景，当n取1到19的整数时，对于满足$\sum_{i=1}^n x_i^2 = 1$的非负实数$x_1, x_2, ..., x_n$（这里定义$x_0 = x_n$），有这么个猜想不等式：
$$\sum_{i=1}^n\sqrt{1-x_{i-1}x_i}\geqslant \sqrt{n(n-1)}.$$

不过之前MSE的@RiverLi提到，这个不等式在n≥20的时候是不成立的，他说有相关的中文资料能证明这一点，但我完全看不懂那份资料的内容。

所以我现在来这儿求助啦：有没有大佬能给我提供n=20时这个反例的可读版本？或者更直接点，能不能把这20个具体的数值给我呀？

（注：原提问的编辑内容未完整显示）

备注：内容来源于stack exchange，提问作者John Bentin