若函数 $h(x)$ 满足

① $h(0)=1$，$h(1)=0$； ② 对任意 $a \in [0,1]$，有 $h(h(a)) = a$； ③ 在 $(0,1)$ 上单调递减.

则称 $h(x)$ 为补函数. 已知函数 $h(x) = \left(\frac{1 - x^{p}}{1 + \lambda x^{p}}\right)^{\frac{1}{p}}$（$\lambda > -1$，$p > 0$）.

(1) 判断函数 $h(x)$ 是否为补函数，并证明你的结论； (2) 若存在 $m \in [0,1]$，使得 $h(m) = m$，称 $m$ 是函数 $h(x)$ 的中介元. 记 $p = \frac{1}{n}$ （$n \in \mathbf{N}_+$）时 $h(x)$ 的中介元为 $x_n$. 且 $S_n = \sum_{i=1}^{n} x_i$，若对任意的 $n \in \mathbf{N}_+$，都有 $S_n < \frac{1}{2}$，求 $\lambda$ 的取值范围； (3) 当 $\lambda = 0$，$x \in (0,1)$ 时，函数 $y = h(x)$ 的图象总在直线 $y = 1 - x$ 的上方，求 $p$ 的取值范围.