证明当0<x<∏/2时,sin x>2/∏x