Let x 1 (25/33)

Let x 1