Let x 1 (4/33)

Let x 1