关于线段树大小问题

今天写题，发现一个奇妙的事情，我以前不管从哪里学线段树都有严谨证明线段树是开 $4$ 倍空间,但是今天我的代码在别的 OJ 上交出现了 RE ，且只有一个点，已经明确不是我代码的锅，然后我把大小开到 $8$ 倍就过了，但是我记得这个是有严谨证明的，所以我十分不理解，在此求助！