Board Thread:General Discussion/@comment-24104188-20131109163533/@comment-26531060-20131120064805

=> (13a^2)*(1/a) + (423/4)*(1/a) > 1 + 33 + 18a + 12939

=> (1/a)*(13a^2+423/4) > 1 + 3(11+6a+4313)