Derive Otto cycle efficiency and Mean Effective Pressure relation.