Ideal converter input current comes from a closed power budget. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
The power ledger starts at the output load
The buck average voltage is already accepted. The load current then sets output power and ideal average input current.
Pout=VoutIout;Iin(avg)=VinPout
More load current asks for more input average current
The voltage conversion stays fixed. Output current changes power, then power sets the ideal input average current.