In a step-up chopper circuit, if Vs is the source voltage and α is duty cycle, then the output voltage is