我在 CF142C 中使用了题解中常见的最优化剪枝：剩下的空格子除以 $5$ 加上已经放好的部分如果不超过答案就返回，这个剪枝的正确性容易证明。

由于自己的代码太丑所以只加一个剪枝过不了，极限数据 9 9 要跑五秒以上。

但是注意到，答案和总面积的比值总是小于 $\frac 16$，所以我将除以 $5$ 改为除以 $6$，在未证明正确性的情况下交上去通过，提交记录于此。

所以此剪枝的正确性是否存在，如果存在应该如何证明？

如果证明非常傻只是我失智了，请骂我一句然后提醒我删贴