CynPyn joined the community
Here goes... Rmax must be a circle of diameter one. To prove this, assume it isn’t. Then all other possible diameters of Rmax must be one or shorter than one. If this is true, then Rmax can fit inside a circle of diameter one, which has greater area than Rmax. Therefore Rmax doesn’t enclose the maximum area. By contradiction then, Rmax must be a circle of diameter one. Not my cleanest proof, but I’m thrilled to be the first response.