实现一个高效的字符串压缩算法，要求如下：

1. 压缩规则：将连续的相同字符用其后连续出现的次数替换。例如，字符串 "aabcccccaaa" 压缩为 "a2b1c5a3"。
2. 如果压缩后的字符串长度大于或等于原字符串长度，则返回原字符串。
3. 你需要保证算法的时间复杂度为 O(n)，其中 n 是输入字符串的长度。
4. 编写一个函数 `string CompressString(string input)` 来实现上述功能。

请写出该函数的完整实现，并确保代码健壮、高效且无内存泄漏问题。