Natural frequency of simple pendulum derivation