Let x 1 (9/33)

Let x 1