A laptop computer with an original price of 4,000 yuan is now on sale at a 25% discount. How much is it cheaper than the original price?
一种笔记本电脑，原价4000元，现在打七五折出售，比原价便宜了多少元？
<gadget id="calculator">75 / 100</gadget>
<output>3/4 = around 0.75</output>

<gadget id="calculator">1 - (3/4)</gadget>
<output>1/4 = around 0.25</output>

<gadget id="calculator">4_000 * (1/4)</gadget>
<output>1_000</output>

<result>1_000</result>