From [Wikipedia](https://en.wikipedia.org/wiki/Hilbert_symbol#Properties_2): given $a\in K^\times$,
`(a,b)=1 for all b [in K*] if and only if a is in K*ⁿ`


So suppose that $(\frac{a\ ,\ K^\times\!}{p})\neq 1$ [assume $n$ above generates the prime ideal $p\unlhd{\cal O}\_K$]. Given $h\in\Bbb N$, are there any hypotheses that would allow us to conclude that $(\frac{a\ ,\ b}{p})\neq 1$ for some $b\in U\_p(h)$? (i.e. so $b-1\in p^h$)


To reflect wrigley's comment: this is not true for large $h$. Can we prove it for small $h$, such as $h=0$?



Norm Residue Symbol refinement?
For $h=0$ there must be a witness to $(a,b/n)\not=1$ because if all integers $b$ satisfied $(a,b/n)=1$ then by multiplicativity all $b\in K^\times$ would.


