Tag Formula for energy stored in the inductor derivation