#include<bits/stdc++.h>
using namespace std;

int main()
{
    int n;
    cin>>n;
    vector<pair<long long,long long>>v;
    long long ans=0;
    for(int i=0; i<n; i++)
    {
        long long x,y;
        cin>>x>>y;
        ans=max(ans,x*y);
        if(x>y)
            swap(x,y);
        v.push_back(make_pair(x,y));
    }
    sort(v.rbegin(),v.rend());
    long long mx=0;
    for(int i=0; i<n; i++)
    {
        ans=max(ans,2LL*v[i].first*min(v[i].second,mx));
        mx=max(mx,v[i].second);
    }
    double res=(ans*1.0)/2.0;
    cout<<fixed<<setprecision(1);
    cout<<res<<'\n';
}

#include<bits/stdc++.h>
using namespace std;

int main()
{
    int n;
    cin>>n;
    vector<pair<long long,long long>>v;
    long long ans=0;
    for(int i=0; i<n; i++)
    {
        long long x,y;
        cin>>x>>y;
        ans=max(ans,x*y);
        if(x>y)
            swap(x,y);
        v.push_back(make_pair(x,y));
    }
    sort(v.rbegin(),v.rend());
    long long mx=0;
    for(int i=0; i<n; i++)
    {
        ans=max(ans,2LL*v[i].first*min(v[i].second,mx));
        mx=max(mx,v[i].second);
    }
    /*
    double res=(ans*1.0)/2.0;
    cout<<fixed<<setprecision(1);
    cout<<res<<'\n';
    */
    cout<<ans/2;
    if(ans&1)
        cout<<".5\n";
    else
        cout<<".0\n";
}