Let x 1 (7/33)

Let x 1