有没有可能证明

当无向图中的每个点度数最多为 $d$ 的话，最大独立集至少有 $n/(d+1)$ 个点。

也许不完全对，当我感觉如果真的有关于度数的定理的话，应该长得差不多（也有可能假的离谱）