It now suffices to check that the bound at z = θ is what we wanted.
あとはその z = θ での上界が求めるものであることを調べればよい。