Assume $\langle v,s \rangle + \langle s,v \rangle \leq \langle s,s \rangle$ The question is 

Let $V$ be a complex inner product space, and let $S$ be a subspace of $V$. Suppose that $v\in V$ is a vector for which $\langle s,v\rangle + \langle v,s\rangle \leq \langle s,s\rangle$ for all $s\in S$. Prove that $v\in S^{\perp}$. 


I am thinking about proving it by contradiction, but I am not sure what  $\langle s,v\rangle + \langle v,s\rangle \leq \langle s,s\rangle$ can tell me. What I am sure about right now is that $v$ must not be in $S$ since if $v$ is in $S$, then $v$ will be equal to some $s$ in $S$, then there exists such $s$ that
$\langle s,v\rangle + \langle v,s\rangle = \langle s,s\rangle + \langle s,s\rangle = 2\langle s,s\rangle \gt \langle s,s\rangle$.
So $v$ must be in somewhere else. What else can I know, I am so confused right now, can somebody give me some hints?
 A: Fix $s \in S$. Replace $s$ by $\epsilon s$ and divide by $\epsilon$ to get $ \langle v, s \rangle +\langle s, v \rangle \leq \epsilon \|s\|^{2}$. Letting $\epsilon \to 0$ we see that Real part of $ \langle v, s \rangle$ is $\leq 0$. Replace $s$ by $-s$ to see that the real part is $0$. Replace $s$ by $is$ to see that the imaginary part is also $0$. 
A: Hint: Think about what happens as we make $\langle s,s\rangle$ smaller and smaller.
A: If $$S\ne\{0\}$$
we can choose an $$s_1\ne 0$$ and that means $$\langle s_1,s_1\rangle\ne 0$$
We set $$s_2=\frac{1}{\sqrt{\langle s_1, s_1\rangle}}s_1$$
then we have $$\langle s_2, s_2 \rangle=1$$
For an arbitrary $v \in V$ we set
$$s=\langle v,s_2\rangle s_2 \in S$$
and for the LHS of 
$$\langle s,v\rangle + \langle v,s\rangle \leq \langle s,s\rangle$$
we get
$$\langle s,v\rangle + \langle v,s\rangle \\=\langle \langle v,s_2\rangle s_2,v\rangle + \langle v,\langle v,s_2\rangle s_2\rangle\\=\langle v,s_2\rangle \langle s_2,v\rangle+\overline{\langle v,s_2\rangle }\langle v,s_2\rangle\\=2\overline{\langle v,s_2\rangle }\langle v,s_2\rangle$$
For the RHS we get
$$\langle s ,s \rangle\\=\langle \langle v,s_2\rangle s_2,\langle v,s_2\rangle s_2 \rangle\\=\langle v,s_2\rangle \overline{\langle v,s_2\rangle}\langle s_2,s_2 \rangle=\\\langle v,s_2\rangle \overline{\langle v,s_2\rangle}$$
It follows that 
$$2\overline{\langle v,s_2\rangle }\langle v,s_2\rangle \le \overline{\langle v,s_2\rangle }\langle v,s_2\rangle$$
which is a contradiction for $$\overline{\langle v,s_2\rangle }\langle v,s_2\rangle\ne 0$$
