Let be the perimeter of the maximum-area quadrilateral whose side lengths are elements of (all distinct). If there are many quadrilaterals with the same maximum area, then choose the one with the largest perimeter.
For example, if , then we can take the elements and form an isosceles trapeziumAn isosceles trapezium (US: trapezoid) is a quadrilateral where one pair of opposite sides are parallel and of different lengths, and the other pair has the same length. with parallel side lengths and and both leg lengths . The area of this quadrilateral is It can be shown that this is the largest area for any quadrilateral that can be formed using side lengths from . Therefore, .
Let , where is the number of bits of in base .
For example, , and , and .
Also, let be the sequence .
For example, .
It can be shown that , , .
It can also be shown that for .
Find for .
Write-up coming later
The complete problem is available here. An approach, code, and answer will be added later.