Regular n-polygon/Monotonicity of area/Exercise