lim x→π of 7 cot x