Prove that for all even positive integers n the following inequality holds a){n6}>n1;b){n6}>n−1/(5n)1.
Solution
Let m=[n6]. Then n6>m, or 6n2−m2>0. Note that 6n2−m2=1 or 4(mod3), 6n2−m2=2(mod4) (recall that n is even), 6n2−m2=3(mod9), so 6n2−m2≥5. Now we have {n6}=n6−m=n6+m6n2−m2≥n6+m5>2n65>n1, thus a) is proved. In particular, m<n6−n1, so {n6}≥n6+m5>2n6−1/65>n−5n11, thus b) is proved.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement and solution reproduced as published; topic and difficulty added by this site.