Example: solving an ideal Otto cycle

An example on solving for the thermal efficiency of an ideal Otto engine with constant specific heats.