Is there an elementary proof of this seemingly simple inequality? | Hacker News Reader