Ich nehme an, dass
K = Se^{-it}
gemeint ist. Dann:
<=> K / S = e^-it
Logarithmieren:
<=> ln ( K / S ) = - it
<=> t = ln ( K / S ) / - i
Wegen 0 < K < S ist K / S < 1 und damit ist ln ( K / S ) negativ.
Da i positiv ist, ist - i negativ und damit ist t insgesamt positiv, also t > 0 .