finishing off an inequality

Stream: new members

[Ryan Duan]

I've gotten to this point in my proof, w * w ≤ 3 ^ 2 and I have hypothesis w <= 3, there should be a really easy way to finish it off, right? mul_le_mul just complicates things

[Newell Jensen]

Think you posted to wrong thread.

[Ryan Duan]

yeah that's my bad, wrong thread

[Kyle Miller]

@Ryan Duan I've moved your message to this new topic. Zulip organizes messages into topics (like this one), which are a part of a stream (like #new members)

[Kevin Buzzard]

what if $w=-1000000$? If that's not allowed for some reason then can you post a #mwe so we can see the question you're actually asking? MWEs are by far the best way to ask good questions.