For a orientable three manifold M with totally geodesic boundary, this inequality is true. Because the rank of (fundemantal group of boundary M)=rank (homology group of boundary M ) then we use the "half live half die" theorem to get the theorem. But in the orbifold case, we do not have such good things. After passing to a finite manifold cover. I can prove that rank(the fundamental group of boundary M)< 4 rank(fundmental group of M)
If I change the numeber 4 to 2,will this still be true???
One may obtain an estimate improving your factor of 4 to a factor of 3.
The ranks of hyperbolic 2-orbifolds were computed by Zieschang et al. If $\partial\mathcal{O}$ has genus $g$ and $p$ cone points, then they show that $rank(\pi_1\partial\mathcal{O})\leq 2g+p-1$, except in the case $p=0$, one has $rank(\partial\pi_1(\mathcal{O}))=2g$ (of course, one may deduce this estimate directly by thinking about the punctured case). The same argument (half-lives, half-dies) applies in that case (as Igor observes), so I'll assume $p>0$.
A theorem of Sullivan shows that the deformation space of geometrically finite structures on $\mathcal{O}$ is parameterized by the Teichmuller space of $\partial{\mathcal{O}}$. This follows from the theory of quasiconformal deformations of Kleinian groups. Now, one follows the proof of the Ahlfors finiteness theorem. If $rank(\pi_1\mathcal{O})=k$, then the space of deformations of representations of $\pi_1\mathcal{O}$ into $PSL_2(\mathbb{C})$ up to conjugacy has $\mathbb{C}$-dimension $\leq 3k-3$ (this follows by computing the dimension of the variety of representations, and using that the conjugacy action is faithful since the generators are non-commuting). This is also the dimension of the space of geometrically finite reps., since these are structurally stable.
On the other hand, the Teichmuller space of $\partial\mathcal{O}$ has complex dimension $3g-3+p$, so we get $3g-3+p\leq 3k-3$, or $g+p/3\leq k$. From the rank computation above, then we get $\frac13 rank(\pi_1\partial\mathcal{O})\leq 2g/3+p/3-1/3 \leq g+p/3 \leq k$. Obviously the worst estimate holds when $g=0$. One might be able to improve this result taking into account the relators.
The statement is true when $\partial O$ is a surface without cone points, since the underlying topological space of an orientable 3-orbifold $O$ is a manifold $|O|,$ and the natural map from $O$ to $|O|$ induces a surjective homomorphism on fundamental groups. On the other hand, that map is identity on the boundary.
