>>609
題意から
　a[1] ≧ 1,
　a[n/2 +1] ≧ a[n/2] + 1,
　a[n/2 +2] ≧ a[n/2 -1] + 3,
　　････
　a[n-2] ≧ a[3] + (n-5),
　a[n-1] ≧ a[2] + (n-3),
辺々たして
　x ≧ y - a[n] + (n/2 - 1)^2 + 1,
題意より
　x < y,
∴　a[10] ≧ (1/4)nn -n +3,
等号成立は a[1]=1 かつ a[2]〜a[n-1] は密。