Derivation of efficiency of otto cycle