Π [ k = 2 → n ] cos ( 1 / k ) > 2 / 3