Area of the cycloid by Mamikon