Existem duas sequências de números reais {ai},{bi}, i∈N, satisfazendo as seguintes condições: 23⋅π≤ai≤bi e cos(aix)−cos(bix)≥−i1 ∀i∈N e todos x, com 0<x<1?