استیفن سمیل در سال 1981 میلادی طی مقاله ای یک نامساوی که ارتباطی بین ریشه های یک چند جمله ای مختلط درجهn با نقاط بحرانی بود، ارائه داد. این نامساوی در سال 1989 توسط تیشلر برای درجه کمتر مساوی 4به اثبات رسید و در طول سالها روی آن برای حالات خاص چندجمله ایها کار شد. ثابتی که سمیل در نامساوی مذکور حدس زده بود در حالت کلی به دست نیامد اما در مقالات مختلف توسط افرادی چون ادوارد کرین، سوگاوا، قاضی الرحمان و ...تقلیل داده شد و تاکنون این حدس به طور کامل به اثبات نرسیده است.