Let x 1 (16/33)

Let x 1