I'm trying to prove Theorem 10.12 in All of Statistics, which states the following:
Suppose that the size $ \alpha $ test is of the form $$ \text{reject } H_0 \text{ if and only if } T(X^n) \geq c_{\alpha}. $$ Then, $$ \text{p-value} = \sup_{\theta \in \Theta_0} \mathbb{P}_{\theta} (T(X^n) \geq T(x^n)) $$ where $ x^n $ is the observed value of $ X^n $. If $ \Theta_0 = \{\theta_0\} $, then $$ \text{p-value} = \mathbb{P}_{\theta_0} (T(X^n) \geq T(x^n)). $$
Wasserman (the author) defines the p-value as $$ \inf_{\alpha \in (0, 1)} \left\{ \alpha: T(X^n) \in R_{\alpha} \right\} $$ where $ R_\alpha $ is the rejection region for the hypothesis test. (Note that technically I think this should be $ X \in R_{\alpha} $ given that he defines the rejection region as a subset of the domain of the samples not the range of the test statistic.) He defines a size $ \alpha $ test as a test in which $ \sup_{\theta \in \Theta_0} \beta(\theta) = \alpha $ for power function $ \beta(\alpha) = \mathbb{P}_{\alpha}(X \in R) $.
Thus, to try and prove Theorem 10.12, I started by expanding the definition of p-value in terms of the theorem's assumptions, $$ \text{p-value} = \inf_{\alpha \in (0, 1)} \left\{\sup_{\theta \in \Theta_0} \mathbb{P}_{\theta} \left(T(X^n) \geq c_\alpha\right): T(x^n) \geq c_\alpha \right\}. $$
This is where I hit a dead end though. I tried finding a formula for $ c_\alpha $ that doesn't include $ \alpha $ but got stuck having to invert $ \sup $.
It seems like an alternative way to look at this is to view it as saying that the value of $ c_\alpha $ that minimizes $ \sup_{\theta \in \Theta_0} \mathbb{P}_{\theta}(T(X^n) \geq c_\alpha) $ is the observed value of $ T(X^n) $, $ T(x^n) $. But I'm really uncertain how to prove this.