Let x 1 (10/33)

Let x 1