The frequency of a pendulum