Refinement of Tate's discriminant bound and non-existence theorems for mod p Galois representations. Moon, Hyunsuk; Taguchi, Yuichiro — 2003 Documenta Mathematica