by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)
Prove that for every p>=1 the Inequality Is true \n\n 2p3+4p+1>=6p2 \n\n Solution. We manage to show 2p3+4p+1>6p2 for every p≥1 . Put x=p−1≥0 . Then \n\n \begin{align*}2p^3 + 4p + 1-6p^2=2\left(x^3+3x^2+3x+1\right)+4(x+1)+1-6\left(x^2+2x+1\right)=2x^3-2x+1.\end{align*} Consider function f(x)=2x3−2x+1 for x≥0 . Then f′(x)=2(3x2−1) . Since that f′(x)>0 for x>31 , and that f′(x)<0 for 0≤x<31 , we conclude that the function f attains its minimum value \n\n
f(31)=2(31)3−32+1=1−943>0,
which means f(x)≥f(31)>0 for any x≥0 . The result follows. ■