By that definition, I agree, if you add the qualifier "Nelson solved the subconvexity problem for for automorphic L-functions." I still think it's vague to tal

By that definition, I agree, if you add the qualifier "Nelson solved the subconvexity problem for for automorphic L-functions." I still think it's vague to talk about "the" subconvexity problem without specifying what variable you want the bound to be subconvex in, but, really, who am I to argue with Ian Petrow..!