Arbitrary-amplitude period of pendulum