Um Unbeschräktheit nach oben zu zeigen, muss
ich zeigen: \(\forall K>0\; \exists n\in \mathbb{N}:\; a_n>K\).
Dies kann man auch so ausdrücken:
\(K>0\Rightarrow \exists n\in \mathbb{N}:\; a_n>K\).
\(K>0\) ist in dieser Implikation \(\alpha\Rightarrow \beta\)
die Prämisse \(\alpha\). Mit "Sei \(\alpha\)", nimmt man die
Prämisse als gegeben an und zeigt dann damit
die Konklusion.